Name:	Professor CHL Ong
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/M023974/1 Compositional Higher-Order Model Checking: Logics, Models and Algorithms (P) EP/F036361/1 Game semantics, recursion schemes and collapsible pushdown automata: a new approach to the algorithmics of infinite structures (P) EP/D037085/1 Centre for Metacomputation (C) EP/C514645/1 Pushdown Automata and Game Semantics (P) GR/R88861/01 Algorithmic game semantics and its applications (C) GR/L27787/01 UNIFORM GAME SEMANTICS FOR COMPUTATION AND REASONING (P) GR/L55438/01 DOMAIN THEORY, CONTROL OPERATORS AND CLASSICAL PROOFS (P) GR/J97366/01 SYSTEMATIC PROGRAMMING SEMANTICS (P)

Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator