Before joining ARM, Dr Qu was a Senior Research Fellow and a member of Autonomous Systems and Robotics Research Group within the Department. He obtained his Ph.D. from the University of Warwick in 2006 and has previously held research positions at the Universite de Provence, Imperial College London and the University of Oxford. His research interests includes formal verification and model checking, in particular, efficient model checking techniques for discrete systems, real-time systems and probabilistic systems, as well as their application.