EPSRC logo
Researcher Details
 
Name: Professor CHL Ong
Organisation: University of Oxford
Department: Computer Science
Current EPSRC-Supported Research Topics:
Fundamentals of Computing

Current 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)
Previous EPSRC Support
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