EPSRC logo
Researcher Details
Name: Professor C Cadar
Organisation: Imperial College London
Department: Computing
Current EPSRC-Supported Research Topics:

Current EPSRC Support
There is no current EPSRC Support
Previous EPSRC Support
EP/R011605/1 Automatically Detecting and Surviving Exploitable Compiler Bugs(P)
EP/P010040/1 Application Customisation: Enhancing Design Quality and Developer Productivity(C)
EP/N007166/1 Improving Symbolic Execution via Targeted Program Transformations(P)
EP/L002795/1 Multi-version Execution Techniques for Increasing the Reliability and Security of Evolving Software(P)
EP/J00636X/1 Testing, Verifying, and Generating Software Patches Using Dynamic Symbolic Execution(P)
EP/I012036/1 Custom Computing for Advanced Digital Systems(C)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator