![Josh Berdine](https://popl24.sigplan.org/getProfileImage/joshberdine/d5f5aee3-ebe0-451a-8c65-c5ee340cf1ab/small.jpg?1711474941000)
Registered user since Wed 24 Feb 2016
Name:Josh Berdine
Country:United Kingdom
Affiliation:SkipLabs
GitHub: https://github.com/jberdine
Research interests:Static Analysis, Software Verification, Separation Logic, Programming Languages
Contributions
2024
O'Hearn Fest
POPL 2024-profile
View general profile
View general profile