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