![Abhinandan Pal](https://popl24.sigplan.org/getProfileImage/abhinandanpal/39ab0405-1b31-4440-a381-5cbac071e408/small.jpg?1719509687000)
Registered user since Wed 31 Aug 2022
Name:Abhinandan Pal
Country:United Kingdom
Affiliation:University of Birmingham
Research interests:ML Verification, Abstract Interpretation, Model Checking
Contributions
POPL 2024-profile
View general profile
View general profile