Current PhD Students

• Andy Tatman
  • Topic: Formal Verification of Distributed Systems
  • Start date: 1st Apr. 2026