ISSTA/ECOOP 2024
Mon 16 - Fri 20 September 2024 Vienna, Austria
ISSTA/ECOOP 2024 (series) / Abhinandan Pal
Abhinandan Pal

Registered user since Wed 31 Aug 2022

Name:Abhinandan Pal
Country:United Kingdom
Affiliation:University of Birmingham
Personal website: https://www.abhinandanpal.co.in/
GitHub: https://github.com/Abhinandan-Pal
Research interests:ML Verification, Abstract Interpretation, Model Checking

Contributions

Show activities from other conferences

ISSTA/ECOOP 2024-profile
View general profile
OSZAR »