Current PhD Students

• Andy Tatman
  • Topic: Formal Verification of Distributed Systems
  • Start date: 01/04/2026