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
Using general profile