Iain Phillips

Iain Phillips is a Senior Lecturer in the Department of Computing at Imperial College London, within the Faculty of Engineering. His research focuses on theoretical computer science, particularly in reversible computation, process calculi, and formal methods. He explores foundational topics such as event structures, concurrency semantics, and axiomatic systems for reversible systems. His work bridges mathematics and computer science, addressing challenges in concurrency theory, algorithm design, and software engineering.

Key research areas include reversible process calculi (e.g., π-calculus), event structure semantics, and formal verification of concurrent systems. He investigates how reversibility can improve computational models, error recovery, and system design. His contributions span axiomatic frameworks for reversible computation, taxonomy development for reversible approaches, and applications in software transactional memory and session types for parallel programming.

Phillips has published extensively on topics like CCSK protocols, controlled reversible systems, and type-safe web programming using TypeScript. His research emphasizes theoretical rigor while addressing practical challenges in distributed systems and concurrent software development.