Supratik Chakraborty
Supratik Chakraborty
Full Professor, Computer Science and Engineering, Indian Institute of Technology Bombay
- Joined July 2019
Names
Emails
****@cse.iitb.ac.in (Confirmed)
, ****@iitb.ac.in (Confirmed)
Personal Links
Career & Education History
Full Professor
Computer Science and Engineering, Indian Institute of Technology Bombay (iitb.ac.in)
2012 – Present
Associate Professor
Computer Science and Engineering, Indian Institute of Technology Bombay (iitb.ac.in)
2005 – 2012
Assistant Professor
Computer Science and Engineering, Indian Institute of Technology Bombay (iitb.ac.in)
1999 – 2005
Member of Research Staff
Computer Science and Engineering, Fujitsu Laboratories of America (fla.fujitsu.com)
1998 – 1999
Advisors, Relations & Conflicts
Expertise
Constraint solving for analyzing DNNs, abstract interpretation for analyzing DNNs
Present
Explainable ML
Present
Safety in ML, formal verification of ML models
Present
Logic
Present
Formal methods
Present