## Iain Phillips

I am in the Programming Languages and 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.

25 Years of Combining Compositionality and Concurrency (WS25CCC).

Reversible Computation 2013.

Programme committee member of Concur 2012

Programme committee member of Reversible Computation 2011.

Programme committee member of Reversible Computation 2010.

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
- 438 Complexity
- Topics: Cellular Automata and Reversible Computation

## Miscellaneous

Erdos numbers for Department of Computing