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
Safety in ML, formal verification of ML models
Present
Logic
Present
Formal methods
Present
Formal methods for explainable AI
Present