|
| Name: |
Dr DA Orchard |
| Organisation: |
University of Kent |
| Department: |
Sch of Computing |
| Current EPSRC-Supported Research
Topics: |
|
| 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
|
| |
|
|
|
|