Drawing by Sophia Drossopolou

Iain Phillips

I am in the Theory and Algorithms group of the Department of Computing, Imperial College, London.

Research interests

Concurrency, in particular:

My papers.

Programme committee member of Reversible Computation 2024.

Programme committee member of Reversible Computation 2023.

Programme committee member of Reversible Computation 2022.

Invited speaker at ICCE 2020

Programme committee member of Reversible Computation 2020.

Programme committee member of Reversibility in Programming, Languages, and Automata (RPLA) 2019.

Programme committee member of Reversible Computation 2019.

Programme committee member of Reversible Computation 2018.

International Training School on Reversible Computation, Torun, Poland, August 2017.

Programme committee co-chair of Reversible Computation 2017.

Management Committee member, COST action on Reversible Computation (2015-2018)

Programme committee member of Reversible Computation 2015.

25 Years of Combining Compositionality and Concurrency (WS25CCC) (August 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