I have left the University of Birmingham in 2018. This page gives a few links to my work there, such as publications and lecture notes. In the future, I may maintain home pages elsewhere, such as on Linkedin and Researchgate.
There is a page with my publications (all online).
Past teaching
- Midlands Graduate School course on LL and LR parsing with abstract machines
- C/C++
- Compilers and Languages
- Secure Programming
- Parallel Programming
- Principles of Programming Languages
Events and proceedings
- The KAZAM workshop was organized by Olivier Danvy and me.
- 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.
Last modified: