Supratik Chakraborty is Bajaj Group Chair Professor in the Department
of Computer Science and Engineering at IIT Bombay, where he is also a
Principal Investigator in the Centre for Formal Design and
Verification of Software. He received a BTech. (Honours) from IIT
Kharagpur, an MS and a PhD from Stanford University, and spent a
year as Member of Research Staff at Fujitsu Laboratories of America
before joining IIT Bombay as a faculty member.

Supratik's research interests include constrained sampling and
counting, formal verification, automata theory and logic. He is
particularly interested in the development of scalable algorithmic
techniques with strong guarantees for reasoning about different
computational models. He has served as PC co-chair of FSTTCS 2011,
ATVA 2012 and VSTTE 2019, and is a Fellow of the Indian National
Academy of Engineering.