Supratik Chakraborty

Supratik Chakraborty is a Professor in the Department of Computer Science and Engineering at Indian Institute of Technology Bombay. His current areas of study include Formal methods, Formal verification of software and hardware systems, Automata theory and Logic. He has also worked on timing analysis of Asynchronous systems and on Cellular automata in the past. He has published several technical papers, has written a book chapter and has delivered several invited talks in these areas. He has served on the program committees of several international conferences, including being a PC co-chair of FSTTCS 2011 and of ATVA 2012.