Prantik Chatterjee

Registered user since Thu 7 Sep 2023

Name:Prantik Chatterjee
Country:India
Affiliation:MathWorks
Research interests:Program analysis, Formal verification, Machine learning

Contributions