Rate My Professor Cristian Cadar

Cristian Cadar is a Professor of Software Reliability in the Department of Computing at Imperial College London, where he leads the Software Reliability Group. He also serves as Programme Director at Imperial Global Singapore. His research focuses on building practical techniques for improving the reliability and security of software systems, spanning software engineering, software testing and verification, computer systems, and programming languages.

Cadar received a Ph.D. in Computer Science from Stanford University and undergraduate and Master's degrees from the Massachusetts Institute of Technology. He is the co-author and maintainer of the KLEE symbolic execution system, which has a large user base in both academia and industry. His research has been recognised by numerous awards, including the Humboldt Research Award in 2024, the IEEE TCSE New Directions Award in 2022, the BCS Roger Needham Award in 2019, a SIGOPS Hall of Fame award in 2018, an ERC Consolidator Grant in 2018, the HVC Award in 2017, an ACM Computer and Communications Security Test of Time Award in 2016, a BCS Fellowship in 2016, the Jochen Liedtke Young Researcher Award in 2015, and an EPSRC Early-Career Fellowship from 2014 to 2019. These accomplishments underscore his impact on advancing software reliability and security practices.