Professor of Computer Science
Oxford University Computing Laboratory
Wolfson Building, Parks Road
Oxford, OX1 3QD. ENGLAND
Tutorial Fellow of Merton College, Oxford
CV Information for Visitors Time and Weather at Oxford.
Marktoberdorf Summer School 2009 Lecture Course: Model Checking Higher-Order Computation. Part 1, Part 2
Kroening Group Seminar, 6 Mar 2014
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).
Software: HOG Homer
Doctoral Students: Yong Xie Christopher Broadbent Steven Ramsay David Hopkins Martin Lester Michael Vanden Boom Chang Yan. Former Research Students.
How to Transfer
How to Confirm
Journal of Logical Methods in Computer Science. Member of Editorial Board.
LICS: IEEE Symposium on Logic in Computer Science. Organising Committee Member.
EACSL: European Association of Computer Science Logic. Executive Committee Member.
ETAPS: European Joint Conferences on Theory and Practice of Software. Steering Committee Member.
IFIP Working Group 2.2. Member.
GAMES: ESF Research Networking Programme on Games for Design and Verification. Steering Committee Member.
LCC: Int. Workshop on Logic and Computational Complexity. Steering Committee Member.
GaLoP: Workshop on Games for Logic and Programming Languages. Steering Committee Member.
Polimetrica: Programs and Proofs. Book Series. Editorial Board Member.
LMS Journal of Computation and Mathematics. Editorial Board Member (1996-2005).
Association of Symbolic Logic Reviews. Member of Editorial Board (2004-2005).
TLCA 11: Int. Conference on Typed Lambda Calculi and Applications, Novi Sad. PC Chair.
RP 10: 4th International Workshop on Reachability Problems, 27-29, August 2010, Brno, Czech Republic. PC member.
GandALF 2010 : First International Symposium on Games, Automata, Logics and Formal Verification, Minori, Italy - 17-18 June 2010. PC member.
LPAR 10: 16th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, April 25 - May 1, 2010, Dakar, Senegal. PC member.
FoSSaCS 10: Foundations of Software Science and Computational Structures, 20-28 March, Paphos, Cyprus. PC Chair.
TaCaS 10: Tools and Algorithms for the Construction and Analysis of Systems, 20-28 March, Paphos, Cyprus.
HORSPDA : Workshop on Higher-Order Recursion Schemes and Pushdown Automata, 10-12 March, Paris. Co-organiser.
Tbilisi 09: 8th Int. Tbilisi Symposium on Language, Logic and Computation, 21-25 Sep, Bakuriani, Georgia. Invited Speaker.
Games 09 Annual Workshop ESF RNP on Games for Design and Verification, 14-17 Sep, Udine. PC Member.
ISDT 09: 5th Int. Symosium on Domain Theory, 12-14 Sep, Shanghai. PC Member.
Linearity 09: 1st Int. Workshop on Linearity, 12 Sep, Coimbra. PC Member.
CSL 09: 18th EACSL Annual Conference on Computer Science Logic, 7-11 Sep, Coimbra. PC Member.
Intel Symposium 09: 8 Sep, Haifa. Invited Speaker.
IFIP Working Group 2.2: Annual Meeting, 5-6 Sep, Bologna. Member.
Concur 09: 20th Int. Conference on Concurrency Theory, 1-4 Sep, Bologna. Accepted paper.
LICS 09: 24th Annual IEEE Symposium on Logic in Computer Science, 11-14 August, Los Angeles. Accepted papers.
Marktoberdorf 09: Summer School on Logics and Languages for Reliability and Security, 4-16 August. Invited Lecturer.
CiE 09: Computability in Europe, Mathematical Theory and Computational Practice, 19-24 July, Heidelberg. PC Member.
ICALP 09: 36th Int. Colloquium on Automata, Languages and Programming, 5-12 July, Rhodes. Accepted Paper.
CAV 09: 21st Int. Conference on Computer Aided Verification, 26 June - 2 July, Grenoble. Accepted Paper.
NUS Seminar: 29 May. Speaker.
TAMC 09: 6th Annual Conference on Theory and Applications of Models of Computation, 18-22 May, Changsha. PC Member.
VISS UK-Israel Workshop on Verification of Infinite-State Systems, 12-14 May, Tel Aviv. Invited Speaker.
Game Theory 09: Int. Conference on Theory of Games and Applications, 4-8 May, CIRM Luminy, Marseille. Invited Speaker.
FoSSaCS 09: Foundations of Software Science and Computational Structures, 22-29 March, York. Accepted Paper. Past Meetings
At the Computing Laboratory, I have a special teaching interest in the
in Mathematics and Foundations of Computer Science.
Lecture Courses: 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) Functional Programming (2004, 1st year undergraduate)
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 or Mathematics and Computer Science at Merton College.
Projects for MSc in Computer Science, FHS (Part C) in MCS/CS 2007-2008
Photos of Some Recent Meetings
Euan's greetings (X'mas 2005)
Page (following Ian Stark's CSS) last modified: 5 April 2004.