Cristian Cadar

Cristian Cadar is a Professor in the Department of Computing at Imperial College London, leading the Software Reliability Group. He holds an ERC Consolidator Grant and is an EPSRC Early-Career Fellow. His research focuses on enhancing software reliability and security through techniques like symbolic execution and dynamic analysis.

Education: PhD in Computer Science (Stanford University), M.Eng. and B.S. in Computer Science and Mathematics (MIT).

Research interests include software engineering, computer systems, and security, with a focus on practical tools for testing and verification. His work has led to advancements in symbolic execution, compiler testing, and dynamic software updates.

Key publications span topics like KLEE, symbolic execution optimization, and compiler fuzzing. Awards include the BCS Roger Needham Award, Humboldt Research Award, and SIGOPS Hall of Fame recognition.

He advises PhD students and postdocs, focusing on systems programming and compilers. His lab develops tools like KLEE and explores multi-version execution and greybox fuzzing.