Matt Griffin

Registered user since Mon 18 Jul 2022

Name:Matt Griffin
Country:United Kingdom
Affiliation:University of Surrey
Research interests:Formal Verification, Isabelle/HOL, Cyber Security

Contributions

Show activities from other conferences

PLDI 2023-profile
View general profile