Write a Blog >>
Cristian Cadar

Registered user since Thu 6 Aug 2015

Name: Cristian Cadar

Bio: I am a Reader (US equiv. Associate 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 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.

Country: United Kingdom

Affiliation: Imperial College London

Personal website: https://www.doc.ic.ac.uk/~cristic

Research interests: Software Engineering, Testing and Verification, Computer Systems, Security

Contributions

ISSTA 2017Author of Accelerating Array Constraints in Symbolic Execution within the Technical Papers-track
Session Chair of Improving Testing (part of Technical Papers)
Committee Member in Program Committee
Show activities from other conferences

ISSTA 2017-profile
View general profile