Cristian Cadar

Cristian Cadar is a Professor of Software Reliability in the Department of Computing at Imperial College London. His research focuses on software engineering, computer systems, software security, and practical techniques for improving software reliability and security. He leads the Software Reliability Group, which develops methods to enhance the reliability and security of software systems. Cadar's work has been recognized with several awards, including the Humboldt Research Award in 2024 and the BCS Roger Needham Award in 2019. He is also the co-author and maintainer of the KLEE symbolic execution system, widely used in both academia and industry. Cadar received his Ph.D. in Computer Science from Stanford University and holds undergraduate and Master's degrees from MIT.

Cristian Cadar is a researcher in Software Engineering, Software Testing and Verification, Computer Systems, Programming Languages, and Cybersecurity. His work focuses on automated software testing, symbolic execution, and security vulnerabilities. He has developed tools like KLEE and EXE for generating high-coverage tests and detecting software faults. His research addresses memory errors, buffer overflow vulnerabilities, and security threats through innovative techniques such as failure-oblivious computing and multi-version execution. Cadar's contributions include methods for improving software reliability, enhancing system security, and advancing the field of symbolic execution for practical testing and verification.