Iain Phillips

Iain Phillips

I am in the Theory of Computational Systems Section, of the Department of Computing, Imperial College, London.

Research interests

Concurrency, in particular:

Reversible computation (with Irek Ulidowski)
Calculi for mobility, such as the Ambient Calculus (with Maria Grazia Vigliotti and Sergio Maffeis)

My papers.

Programme committee member of Reversible Computation 2009.

Programme committee member of Structural Operational Semantics 2008.

Joint invited speaker at Express'07, the 14th International Workshop on Expressiveness in Concurrency and GT-VC 2007, Graph Transformation for Verification and Concurrency.

Co-organiser of Express'06, the 13th International Workshop on Expressiveness in Concurrency.

My teaching

142 Discrete Mathematics and Algorithm Analysis
- Part I Lecture Notes (Sets, Functions, Relations)
- More (DoC users only)
438 Complexity

Miscellaneous

Erdos numbers for Department of Computing