Dr. Luke Ong

Professor of Computer Science Department of Computer Science University of Oxford Wolfson Building, Parks Road Oxford, OX1 3QD, United Kingdom Tutorial Fellow, Merton College, Oxford

Email: lo AT cs DOT ox DOT ac DOT uk Phone: +44 1865 283522 (DCS) +44 1865 276310 (Merton) Office: Room 340, Wolfson Building

Directions for Visitors     Time and Weather at Oxford.

Keywords: Semantics of Computation; Game Semantics; Verification and Higher-Order Model Checking; Lambda Calculus and Type Theory; Algorithmic Game Theory, Computational Proof Theory and Categorical Logic; Logic and Computational Complexity; Internet Routing Protocols.

Bio | CV | Publications (DBLP) | Research | Professional Activities | Meetings | Doctoral Students | Teaching | Personal