EPSRC logo
Researcher Details
 
Name: Professor R Lazic
Organisation: University of Warwick
Department: Computer Science
Current EPSRC-Supported Research Topics:

Current EPSRC Support
There is no current EPSRC Support
Previous EPSRC Support
EP/P020992/1 Solving Parity Games in Theory and Practice(C)
EP/M011801/1 Counter Automata: Verification and Synthesis(P)
GR/S52759/01 Scalable Software Model Checking Based on Game Semantics(P)
GR/M32900/01 EXPLOITING DATA INDEPENDENCE(C)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator