Supervisor
Billy Thornton (PhD student, since 09/22)
Billy is working on the specification and verification of Solidity Smart Contracts in Isabelle/HOL.
Co-Supervisor
Amy Stell (PhD student, since 09/21)
Amy is looking at formally modelling and verifying the behaviour of neural networks in Isabelle with the aim to improve the safety and security of these systems.