EPSRC logo
Researcher Details
Name: Professor J Ouaknine
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/M012298/1 Counter Automata: Verification and Synthesis(C)
EP/H017585/1 Verification of Shared-Memory Concurrent Software(C)
EP/G069158/1 Automated Verification of Probabilistic Programs(P)
EP/H005617/1 Quantitative Verification: From Model Checking to Model Measuring(P)
EP/G003017/1 Complexity and Decidability in Unconventional Computational Models(C)
EP/E049028/1 Model-Checking Algorithms for Timed Systems(P)
EP/E035590/1 CSP Model Checking: New Technology and Techniques(C)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator