Cristian Cadar is a Professor in the Department of Computing at Imperial College London where he leads the Software Reliability Group. His research interests involve building practical tools for improving the reliability and security of software systems. Cristian received a PhD in Computer Science from Stanford University, an M.Eng. in Computer Science from the Massachusetts Institute of Technology, and a B.S. in Computer Science and one in Mathematics also from MIT.