Dr. Luke Ong

Personal photo - Luke Ong Professor of Computer Science
Director of Graduate Studies
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)
Fax: +44 1865 273839
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