Drawing by Sophia Drossopolou

Iain Phillips

I am in the Programming Languages and Systems Section, of the Department of Computing, Imperial College, London.

Research interests

Concurrency, in particular:

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

Miscellaneous

Erdos numbers for Department of Computing