EPSRC logo
Researcher Details
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