Andy Adams-Moran - POPL 2024

Sun 14 - Sat 20 January 2024 London, United Kingdom

Registered user since Sat 13 Jan 2024

Name:Andy Adams-Moran

Country:United Kingdom

Affiliation:Meta

Research interests:Lightweight formal methods, programming languages

Contributions

2024

O'Hearn Fest

Session Chair of Session 4 (part of O'Hearn Fest)

Show activities from other conferences

POPL 2024-profile
View general profile