Microsoft Research Limited/Royal Academy of Engineering Senior Research Fellow and Reader, Department of Computing , Imperial College.
EPSRC Advanced Fellow at the Computer Laboratory, Cambridge (Jan 1999--Sept 2000) and the Department of Computing, Imperial College, London (Sept 2000--Dec 2001). Teaching Fellow at St. John's College, Cambridge. Royal Society BP Fellowship and SERC Postdoctoral Fellowship at LFCS, Edinburgh. PhD at Edinburgh (supervisor Gordon Plotkin).
I'm working with Calcagno (EPSRC Advanced Fellow), Maffeis (RA) and Zarfaty (PhD student), specialising in programming language design, process models and web languages. It forms part of an emerging group on the Theory of Distributed Processes and Data at Imperial, consisting of myself, Yoshida (lecturer and EPSRC Advanced Fellow), Phillips (lecturer) and Bradley (lecturer), as part of a larger group on the Theory of Computational Systems. In addition, several research groups have recently come together as part of a wider theme of Ubiquitous Systems including ourselves, the Distributed Systems Engineering group with expertise in applying process models to practical problems, and the Performance Analysis group studying the performance of real systems using process models.
Some selected publications can be found here.
The theory group in general is keen to encourage excellent students to apply for PhD positions. Our strengths include the theory of programming languages, distributed processes and data, verification and analysis, and exact computation. The department has a number of EPSRC PhD studentships, which are open to UK students and other students eligible for EPSRC funding. For details of these studentships and other opportunities for funding, see here. Potential supervisors often have other funding sources, and should be contacted directly about such funding.
Department of Computing, 180 Queen's Gate, South Kensington Campus, Imperial College London, SW7 2AZ.
Phone: +44-20-7594-8292. Email: pgXdoc.ic.ac.uk (replace X by @)