Cristian Cadar photo

Cristian Cadar

Department of Computing
Imperial College London
ERC Consolidator Grant Awardee
EPSRC Early-Career Fellow (2014-2019)


Software Reliability Group Publications Talks Teaching Service Software Contact

I am a Professor in the Department of Computing at Imperial College London, where I lead the Software Reliability Group. My research interests span the areas of software engineering, computer systems and software security, with a focus on building practical techniques for improving the reliability and security of software systems.

I have received the BCS Roger Needham Award in 2019, an ERC Consolidator Grant in 2018, the HVC Award in 2017, the ACM Computer and Communications Security (CCS) 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 in 2013. Our research has received a Best Artifact Award at ISSTA 2014, Distinguished Artifact Award at ESEC/FSE 2013, and the Jay Lepreau Best Paper Award at OSDI 2008.

Previously, I received a Ph.D. in Computer Science from Stanford University, an M.Eng. in Computer Science from MIT, and a B.S. in Computer Science and one in Mathematics also from MIT.

Prospective postdocs and PhD students:

September 2019: A postdoc position is available in my group, with a deadline of 13 October. Please see our vacancies page for details.

I am always looking for bright and motivated PhD students interested in developing novel techniques and tools for improving software reliability. I am particularly interested in students having a strong background in systems programming and compilers, and experience with building and working with large software systems. Please send me email if you are interested in doing a PhD in my group, and attach a CV to your email. If your background matches our research interests, I will try to send a reply soon. Note that most funding opportunities are for European Union students, but there are limited opportunities for overseas students as well. We advertise specific funding opportunities here.

Selected Publications

The full list of papers published since 2010 is available on the Software Reliability Group website.

Selected Talks

Recent talks are available on the Software Reliability Group website. Some older talks are included below:


Past Teaching


Please consider submitting papers to the following conferences and workshops:














Contact and social media

© Cristian Cadar 2000-2015. Last updated: February 2015