conf.researchr.org / Prantik Chatterjee
![Prantik Chatterjee](https://conf.researchr.org/getProfileImage/prantikchatterjee1/000688b3-e2f7-4a57-bf01-2ef9ff2327f4/small.jpg?1712356755000)
Registered user since Thu 7 Sep 2023
Name:Prantik Chatterjee
Country:India
Affiliation:MathWorks
Personal website: https://www.linkedin.com/in/prantik-chatterjee-b7962416a/
Research interests:Program analysis, Formal verification, Machine learning
Contributions