- My office is 208 (second floor and on the left) in the Computer Science building.
- My office hour (in Semester 2, 2015/16) is Mondays 16:00-17:00.
- Can't pronounce my name? See the Pronunciation and Etymology page.
My research interests are in programming languages. Currently I am particularly interested in:
- Concurrency, such as rely-guarantee logic and linearizability
- Substructural logics and types for programming languages, such as linear and separation logic and Lambek calculus
- Compiling, particularly CPS compiling or LLVM/clang
- Using Agda for programming language semantics
- Secure programming and memory safety
- Program analysis for security
I am a member of the Theory group (which include programming language research) at Birmingham and the Academic Centre of Excellence in Cyber Security Research (ACE-CSR).
- 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.
Past PhD students
I have supervised the following PhDs at Birmingham:
- Asiri Rathnayake, graduated in 2015, now Compiler Engineer at ARM Ltd in Cambridge. Thesis title: Semantics, Analysis and Security of Backtracking Regular Expression Matchers
- Maxim Strygin, graduated 2014, now at HP in Moscow. Thesis title: Semantics and logics for signals
- Horia Corcalciuc, graduated 2014. Thesis title: Taxonomies for software security
- PC member of 2015 Workshop on Continuations (WoC 2015), co-located with ETAPS 2015
- 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)