the Bajaj Group Chair Professor in Computer Science and Engineering
Towards Parallel Boolean Functional Synthesis
Wednesday, February 8, 2017
to 5:00 PM
212 Herzstein Hall
6100 Main St
Houston, Texas, USA
Supratik Chakraborty is currently the Bajaj Group Chair Professor in Computer Science and Engineering at IIT Bombay. He received his B.Tech. in Computer Science and Engineering from IIT Kharagpur, where he was awarded the President of India Gold Medal. Subsequently, he did his MS and Ph.D. in Electrical Engineering from Stanford University, where he worked on polynomial time approximate algorithms for timing analysis of asynchronous systems. His current research interests include constrained sampling and counting and their applications, Boolean functional synthesis, formal methods for software, hardware and biological systems, and algorithmic issues in automata theory and logic. He also leads the Centre for Formal Design and Verification of Software at IIT Bombay.