conf.researchr.org / Josh Berdine
![Josh Berdine](https://conf.researchr.org/getProfileImage/joshberdine/d4e95e23-a8c5-4a85-a7dd-b1c437c02c67/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