conf.researchr.org / Andy Adams-Moran

Registered user since Sat 13 Jan 2024

Name:Andy Adams-Moran
Country:United Kingdom
Affiliation:Meta
Research interests:Lightweight formal methods, programming languages

Contributions