EPSRC logo
Researcher Details
 
Name: Dr C Cadar
Organisation: Imperial College London
Department: Dept of Computing
Current EPSRC-Supported Research Topics:
Computer Sys. & Architecture Electronic Devices & Subsys.
Fundamentals of Computing Parallel Computing
Software Engineering

Current EPSRC Support
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)
Previous EPSRC Support
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