Papers · Talks
My research is on mathematical models for programming languages and concurrent systems; in particular reasoning about name generation and secure mobile code. Below are some papers, talks and events; for more follow the links above.
Events: Robin Milner Symposium; ESOP 2012 conference; FLoC 2010 conferences.
Chris Banks is working on modal logic for the continuous π-calculus, a process algebra for modelling behaviour and variation in biomolecular systems.
Marek Kwiatkowski successfully defended his PhD thesis, A formal computational framework for the study of molecular evolution, in October 2010. Since then he's been working in the Evolutionary Ecology group at ETH Zürich & EAWAG.
Previously, I was principal PhD supervisor for Uli Schöpp (now at LMU in Munich), Sam Lindley (at Strathclyde), and Tom Chothia (lecturing at Birmingham).
If you are interested in studying for a PhD at LFCS, then follow the links below. If you would like to do this with me, please send me email about your background and interests.
Link: Information about studying for a PhD at Edinburgh; Application page for LFCS.
Current courses (2013/2014)
Subjects: mathematical logic, category theory, type theory, principles of programming languages, denotational semantics, operational semantics, domain theory, game semantics, functional programming, Standard ML, Java, proof-carrying code, process calculi, pi-calculus, systems biology, nu-calculus, reasoning with names.
People: David Aspinall, Nick Benton, Lennart Beringer, Gavin Bierman, Julian Bradfield, Luca Cattani, James Cheney, Juliusz Chroboczek, Adriana Compagnoni, Vincent Danos, Marcelo Fiore, Dan Ghica, Stephen Gilmore, Andrew Gordon, Jane Hillston, Martin Hofmann, Andrew Kennedy, Marek Kwiatkowski, Paul-André Melliès, Eugenio Moggi, Andrzej Murawski, Peter O'Hearn, Luke Ong, Andrew Pitts, Don Sannella, Alex Simpson, Perdita Stevens, Glynn Winskel.