Rice University

Events at Rice

Colloquium

Computer Science

Speaker: Supratik Chakraborty
the Bajaj Group Chair Professor in Computer Science and Engineering
IIT Bombay

Towards Parallel Boolean Functional Synthesis

Wednesday, February 8, 2017
4:00 PM  to 5:00 PM

212  Herzstein Hall
Rice University
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.

<<   May 2017   >>
S M T W T F S
1 2 3 4 5 6
7 8 9 10 11 12 13
14 15 16 17 18 19 20
21 22 23 24 25 26 27
28 29 30 31

Search for Events


Quicklinks