Write a Blog >>
ECOOP and ISSTA 2021
Sun 11 - Sat 17 July 2021 Online
Cristian Cadar

Registered user since Thu 6 Aug 2015

Name:Cristian Cadar
Bio:

Cristian Cadar is Professor of Software Reliability in the Department of Computing at Imperial College London, where he leads the Software Reliability Group, working on automatic techniques for increasing the reliability and security of software systems. Cristian’s research has been recognised by several prestigious awards, including the EuroSys Jochen Liedtke Award, the HVC Award, the BCS Roger Needham Award, the ACM SIGOPS Hall of Fame Award, and the ACM CCS Test of Time Award. He also received an ERC Consolidator Grant and an EPSRC Early-Career Fellowship. Many of the research techniques he co-authored have been open-sourced and used by several groups in both academia and industry. In particular, he is co-author and the principal maintainer of the KLEE symbolic execution system, a popular system with a large user base. Cristian has a PhD in Computer Science from Stanford University, and undergraduate and Master’s degrees from the Massachusetts Institute of Technology.

Country:United Kingdom
Affiliation:Imperial College London, UK
Research interests:Software Engineering, Testing and Verification, Computer Systems, Security

Contributions

ECOOP and ISSTA 2021 Opening Session
ISSTA General Chair in Organizing Committee
Organizer in Organizers within the Discussions with Experts-track
ISSTA 2021 General Chair in Organizing Comittee
Session Chair of Celebrating 30 Editions of ISSTA (part of Keynotes)
Session Chair of Celebrating 30 Editions of ISSTA (part of Keynotes)
Session Chair of ISSTA Impact Paper Award Talk (part of Keynotes)
Show activities from other conferences

ECOOP and ISSTA 2021-profile
View general profile