Registered user since Mon 18 Jul 2022
Name:Matt Griffin
Country:United Kingdom
Affiliation:University of Surrey
Personal website: https://www.surrey.ac.uk/people/matt-griffin
Research interests:Formal Verification, Isabelle/HOL, Cyber Security
Contributions
PLDI 2023-profile
View general profile
View general profile