conf.researchr.org / Prantik Chatterjee
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