conf.researchr.org / Matt Griffin
![Matt Griffin](https://conf.researchr.org/getProfileImage/mattgriffin/be4f087b-6448-4320-adfa-3a89e8563089/small.jpg?1711458064000)
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