EPSRC logo
Researcher Details
 
Name: Dr AF Donaldson
Organisation: Imperial College London
Department: Dept of Computing
Current EPSRC-Supported Research Topics:
Fundamentals of Computing Software Engineering

Current EPSRC Support
EP/R011605/1 Automatically Detecting and Surviving Exploitable Compiler Bugs(C)
EP/R006865/1 Interface reasoning for interacting systems (IRIS).(C)
EP/N026314/1 Reliable Many-Core Programming(P)
Previous EPSRC Support
EP/K011499/1 Scalable Automatic Verification of GPU Kernels(P)
EP/G051100/2 Advanced Formal Verification Techniques for Heterogeneous Multi-core Programming(P)
EP/G051100/1 Advanced Formal Verification Techniques for Heterogeneous Multi-core Programming(P)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator