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