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