edX Online
Instructor photo

Supratik Chakraborty

Professor, Department of Computer Science and Engineering at IIT Bombay

IIT Bombay

About me

Prof Supratik Chakraborty received his BTech from IIT Kharagpur, and MS and PhD from Stanford University. He is currently a Professor of Computer Science and Engineering at IIT Bombay, where he has been teaching since 2000. His broad research interests are in theory and applications of formal methods, automata theory and logic. He has also worked on asynchronous systems in the past. He has taught several courses including Topics in Mathematical Foundations of Formal Verification, Formal Specification and Verification of Programs, Automata Theory and Logic, and Formal Methods in Computer Science, at IIT Bombay.

Courses and Programs taught by Supratik Chakraborty