Students

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.