![Josh Berdine](https://conf.researchr.org/getProfileImage/joshberdine/8bed1211-c04a-455b-b6bd-a5d3fef1c419/small.jpg?1715091395000)
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
ICSE 2024-profile
View general profile
View general profile