EPSRC logo
Researcher Details
 
Name: Dr DA Orchard
Organisation: University of Kent
Department: Sch of Computing
Current EPSRC-Supported Research Topics:
Fundamentals of Computing Software Engineering

Current EPSRC Support
EP/T013516/1 Verifying Resource-like Data Use in Programs via Types(P)
Previous EPSRC Support
EP/M026124/1 CamFort: Automated evolution and verification of computational science models(C)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator