SPLASH 2024 (series) / Abhinandan Pal
![Abhinandan Pal](https://2024.splashcon.org/getProfileImage/abhinandanpal/84272d1b-29b7-4080-b601-7128440ab0e4/small.jpg?1719509687000)
Registered user since Wed 31 Aug 2022
Name:Abhinandan Pal
Country:United Kingdom
Affiliation:University of Birmingham
Personal website: https://www.abhinandanpal.co.in/
Research interests:ML Verification, Abstract Interpretation, Model Checking
Contributions
2024
Static Analysis Symposium
Using general profile