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.