Imperial College London


Faculty of EngineeringDepartment of Computing

Senior Lecturer - Computing



+44 (0)20 7594 8265i.phillips Website




427Huxley BuildingSouth Kensington Campus






Lanese I, Phillips I, Ulidowski I, 2024, An Axiomatic Theory for Reversible Computation, Acm Transactions on Computational Logic, ISSN:1529-3785

Graversen E, Phillips I, Yoshida N, 2022, Event structures for the reversible early internal π-calculus, Journal of Logical and Algebraic Methods in Programming, Vol:124, ISSN:2352-2208, Pages:1-46


Glück R, Lanese I, Mezzina CA, et al., 2023, Towards a taxonomy for reversible computation approaches, 15th International Conference on Reversible Computation (RC), Springer, Pages:24-39

Medic D, Mezzina CA, Phillips I, et al., 2021, Towards a formal account for software transactional memory, Twelfth International Conference on Reversible Computation, Springer Verlag, Pages:255-263, ISSN:0302-9743

Lanese I, Phillips I, 2021, Forward-reverse observational equivalences in CCSK, 13th International Conference on Reversible Computation 2021, Springer Verlag, Pages:126-143, ISSN:0302-9743

More Publications