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 2017 Accelerating Array Constraints in Symbolic Execution
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