Sign In

Cristian Cadar

Professor at Imperial College London

Cristian Cadar is a prominent figure with a diverse expertise in software engineering, computer systems, and software security.

His research is focused on creating practical tools to enhance the reliability and security of software systems.

Cristian Cadar holds a PhD in Computer Science from Stanford University, an MEng in Computer Science from Massachusetts Institute of Technology, and a BEng in Computer Science and Mathematics from Massachusetts Institute of Technology.

He has an illustrious academic career having served in various roles at Imperial College London including Professor, Reader (Associate Professor), Senior Lecturer (Assistant/Associate Professor), and Lecturer (Assistant Professor) in the Department of Computing.

Highlights

Aug 15 · linkedin

I am teaching at Marktoberdorf Summer School this year. I highly recommend it in future years if you are a PhD student in verification, PL, SE, and related areas. https://lnkd.in/dqDSuyGC

Feb 1 · linkedin

The 4th International KLEE Workshop on Symbolic Execution (KLEE'24) will take place on 15-16 April 2024 in Lisbon, Portugal, co-located with ICSE'24: https://lnkd.in/eDN-NvZ7

It is my pleasure to announce a fantastic list of keynotes, from Tevfik Bultan, Tomasz Kuchta, and Corina Pasareanu: https://lnkd.in/eFNDu7Nd

The early registration deadline is coming up, on 12 February: https://lnkd.in/eUwzDrdb

I hope to see many of you at the workshop in Lisbon!

C
Add to my network

Location

London, England, United Kingdom