Ana Cavalcanti is taking up a Royal Academy of Engineering Chair on Emerging Technologies to pursue the long-term vision of RoboCalc.

Jim Woodcock has been awarded a Royal Society grant to collaborate with Zhimming Liu from Southwest University, China, on “Requirements Modelling for Cyber-Physical Systems”.

On the 1-4 December 2015 the School on Verification of Mobile and Autonomous Robots and Workshop was held at the Department of Computer Science.