EPSRC logo
Researcher Details
 
Name: Professor G Winskel
Organisation: University of Cambridge
Department: Computer Science and Technology
Current EPSRC-Supported Research Topics:

Current EPSRC Support
There is no current EPSRC Support
Previous EPSRC Support
EP/F019394/1 Modular verification of concurrent programs: Marrying Rely-Guarantee and Separation Logic(P)
GR/T22049/01 Domain Theory for Concurrency---New Categorical Foundations(P)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator