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