Supratik Chakraborty
Supratik Chakraborty is an Indian computer scientist. He is a Professor in the Department of Computer Science and Engineering at Indian Institute of Technology Bombay.[1]
Supratik completed his undergraduate in Computer Science and Engineering from Indian Institute of Technology Kharagpur in 1993, where he was awarded the . Subsequently, he completed his M.S. and Ph.D. in Electrical Engineering from Stanford University in 1995 and 1998 respectively, working on the design polynomial time approximate algorithms for timing analysis of asynchronous systems. He worked for a year in the Advanced CAD Research group at before joining Indian Institute of Technology Bombay in 1999.
His current areas of research include both theoretical and practical aspects of formal methods, including formal verification of software and hardware systems, constrained counting and sampling and their applications, automata theory, logic, and systems biology. In the past, he has also worked on the design and analysis of asynchronous systems and on cellular automata in the past.
He is an elected fellow of Indian National Academy of Engineering.[2]
References[]
- ^ "Supratik Chakraborty". www.cse.iitb.ac.in. IIT Bombay.
- ^ "Two professors from IIT Bombay elected as Fellows of the Indian National Academy of Engineering". mid-day. 30 September 2019.
Authority control: Scientific databases  |
|---|
- Indian computer scientists
- Formal methods people
- Living people
- Indian Institute of Technology Kharagpur alumni
- IIT Bombay faculty
- Stanford University alumni
- People from Kharagpur