|
Professor of Computer Science
Oxford University Computing Laboratory Wolfson Building, Parks Road Oxford, OX1 3QD. ENGLAND Tutorial Fellow of Merton College |
Photograph
|
Verifying Finitely-Presentable Infinite Structures: A Game-Semantic Approach. Part 1, Part 2. A lecture course in 34th Spring School in Theoretical Computer Science (EPIT 2006) "Games in Semantics and Verification", Ile de Ré, France, 28th May - 2nd June 2006.
A Microsoft Research PhD Scholarship and two EPSRC DPhil Studentships are available for the academic year starting Oct 2008. If you are interested, please feel free to contact me Luke.Ong@comlab.ox.ac.uk
My research has mainly been in Semantics of Computation, which is concerned with the development and analysis of mathematical structures that model computation using ideas and tools from Mathematical Logic. More recently my research has tended to be motivated by problems of an algorithmic nature. Here is a summary in HTML.
Keywords: Semantics of Computation; Game Semantics; Verification and Software Model Checking; Lambda Calculus and Type Theory; Computational Proof Theory and Categorical Logic; Logic and Computational Complexity; Internet Routing Protocols.
Current Projects: Centre for Metacomputation Algorithmic Game Semantics [final report] Verification of Higher-Order Procedural Programs Implicit Computational Complexity and Resource-Bounded Computation Internet Routing Procotols: Convergence and Scalability (see a recent press report in today@Lucent).
Doctoral Students: Jolie de Miranda. Matthew Hague. Sam Sanjabi. William Blum. Yong Xie. Christopher Broadbent. Former Students.
CSL 2008: 15-20 Sep IFIP TCS 2008: 7-10 Sep LAA 08: 21-25 July LICS 08: 24-27 June ICALP 08: 6-13 Jul TAMC 08: 25-29 Apr ETAPS 08: 29 Mar - 6 Apr Baillot Habilitation: 11 Mar ALTIS: 28 Oct - 2 Nov LPAR 07: 15-19 Oct IFIP WG2.2: 16-20 Sep Games 07: 10-13 Sep Infinity 07: 8 Sep MFCS 07: 26-31 Aug LICS 07: 10-14 Jul (PC Chair) TLCA 07: 26-28 Jun FoSSaCS 07: 24 Mar - 1 Apr AOSD 07: 12-16 Mar Past Events.
I serve on the editorial / advisory boards of the following journals and book series: LMS Journal of Computation and Mathematics Logical Methods in Computer Science. ASL Reviews. Polimetrica: Programs and Proofs.
At the Computing Laboratory, I have a special teaching interest in the MSc in Mathematics and Foundations of Computer Science. In recent years I have developed the following
Lecture Courses: Functional Programming (2004, 1st year undergraduate) Models of Computation (2003, 1st year undergraduate) Automata, Logic and Games (2004, MSc) Lambda Calculus (1997, final year undergraduate / MSc) Computational Complexity (1999, final year undergraduate)
Projects for MSc in Computer Science, FHS (Part C) in MCS/CS 2007-2008
At Merton College (and St. John's College, 1994 - 2004) I direct the studies of undergraduates reading Computer Science, and Mathematics and Computer Science, and give tutorials on core subjects in Computer Science, covering all first-year and about half of the second-year syllabus. (Optional courses in the second and third years are taught by classes organized by the Computing Laboratory.) I would be very happy to talk to anyone thinking of applying to read Computer Science at Merton College.
Page (following Ian Stark's CSS) last modified: 5 April 2004.