Dr. Luke Ong

Personal photo - 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