- My office is 208 (second floor and on the left) in the Computer Science building.
- Can't pronounce my name? See the Pronunciation and Etymology page.
- Current students: please see my timetable for office hours and lectures.
My current research interests include programming languages, in particular type and effect systems and program logics for pointers, control and concurrency.
- parsing and regular expression matching using semantic ideas
- control and concurrency particularly in low-level language close to hardware or OS
- Secure programming and software security, particularly in conjunction with programming language design and technology.
- Abstract machines (in the tradition of Landin's SECD machine)
There is a page with my publications (all online).
If you are interested in studying for a PhD with me, I would be happy to discuss possible PhD topics in Programming Languages and Software Security.
- Principles of Programming Languages 2011/12
- Secure Programming 2011/12
- Software Systems Components 1, 2011/2012
- Compilers and Languages
- PC member of CW2011 - ACM SIGPLAN Continuation Workshop 2011
- PC member of TPDC 2011 - Theory and Practice of Delimited Continuations Workshop
- PC member of LOLA 2010 - Syntax and Semantics of Low Level Languages
- The KAZAM workshop was organized by Olivier Danvy and me.
- Guest editor for the special issue on continuations of the journal Higher-Order and Symbolic Computation (HOSC).
- PC chair of the Fourth Continuation Workshop (CW'04), co-located with POPL'04 in Venice, 17 January 2004.The proceedings is available on-line.
- I was a PC member of The Third ACM SIGPLAN Workshop on Continuations (CW'01)
Some colleagues and students
- Asiri Rathnayake started his PhD with me in 2011.
- Maxim Strygin started his PhD with me in 2010, having been awarded an EPS Elite postgraduate scholarship.
- Horia Corcalciuc is writing his PhD on software security; see his paper on a taxonomy for time and state attacks
- Josh Berdine was Peter O'Hearn's student, co-supervised by me while I was Peter's postdoc. Josh's PhD thesis is on linear continuation passing (as in exceptions and coroutines). Josh is now at Microsoft Research in Cambridge.
- My Erdős number is 3, thanks to
John Power, co-supervisor of my PhD at Edinburgh.
(John ∈ Erdős(2) via Michael Makkai.)