Name:	Professor A Murawski
Organisation:	University of Oxford
Department:	Computer Science
Current EPSRC-Supported Research Topics:

Current EPSRC Support

There is no current EPSRC Support

Previous EPSRC Support

EP/T006579/1 Higher-order Constrained Horn Clauses: A New Approach to Verifying Higher-order Programs (P) EP/J019577/1 Game Semantics for Java Programs (P) EP/G069158/1 Automated Verification of Probabilistic Programs (C) EP/C539753/1 Towards a Game Semantics of Concurrency, Objects and Mobility (P)

Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator