conf.researchr.org / Prantik Chatterjee
![Prantik Chatterjee](https://conf.researchr.org/getProfileImage/prantikchatterjee/bdb43e99-ab18-45a9-a016-ed721586d1c7/small.jpg?1711641025000)
Registered user since Mon 23 Nov 2020
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, software engineering
Contributions