EPSRC logo
Researcher Details
 
Name: Dr PB Levy
Organisation: University of Birmingham
Department: School of Computer Science
Current EPSRC-Supported Research Topics:
Fundamentals of Computing

Current EPSRC Support
EP/N023757/1 Recursion, guarded recursion and computational effects(P)
Previous EPSRC Support
EP/E056091/1 Semantics of Nondeterminism: Functions, Strategies and Bisimulation(P)
EP/C536827/1 Semantics of Nondeterminism(P)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator