Prof. Iain Phillips — Research Profile
Imperial College London · Department of Computing
About
Prof. Iain Phillips at Imperial College London Department of Computing lists Theory of concurrency, reversible computation as their registered research area.
Research keywords
Recent papers
From OpenAlex · papers whose author affiliation matches this university
Labs doing related research
Labs that recently published on topics this lab's recent papers share
Shared topic: Logic, programming, and type systems
Sam Staton 교수 연구실
University of Oxford · Department of Computer Science
Hippogriff: a semantic approach to uniting core and modulesPreprintarXiv (Cornell University) · Aug 20Nobuko Yoshida 교수 연구실
University of Oxford · Department of Computer Science
Top-Down = Bottom-Up: Sound and Complete Characterisations of Liveness by Multiparty Global ProtocolsProceedings of the ACM on Programming Languages · Oct 1Aleks Kissinger 교수 연구실
University of Oxford · Department of Computer Science
TensorRocq: Enabling Diagrammatic Reasoning in RocqProceedings of the ACM on Programming Languages · Oct 1
Other labs in this department
- Abbas Edalat 교수 연구실
Computational geometry, optimization theory, game theory
- Alastair Donaldson 교수 연구실
Formal verification, software performance optimization
- Aldo Faisal 교수 연구실
Neurotechnology, machine learning, algorithmic behavior prediction
- Alessandra Russo 교수 연구실
Computational logic, logic-based machine learning, autonomous systems
- Alessio Lomuscio 교수 연구실
AI verification, computer vision validation, certified learning
- Andrew Davison 교수 연구실
Computer vision, robotics, SLAM, augmented reality