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

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