Supratik Chakraborty

Dept. of Computer Science and Engineering
IIT Bombay, Powai
Mumbai 400076

          Tel: (+91 22) 25764787  /  25767721
Fax: (+91 22) 25720290


B. Tech. I.I.T., Kharagpur
M.S. and Ph.D. Stanford University


My current research interests include: I'm also affiliated to the Centre for Formal Design and Verification of Software at IIT Bombay.


Recent Talks

Recent conference committee memberships

2016 LICS
2015 POPL (Ext Review Committee)
2013 ATVA
2012 CAV , ATVA (PC Co-chair), ICTAC
2011 ASYNC , FSTTCS (PC Co-Chair), SPIN , VLSI Design (Verification Track Chair)
2010 ASYNC , VLSI Design

Ph.D. student theses

1   Joycee Mekie
(co-supervised with Prof. Dinesh K. Sharma )
Interfacing Solutions for Globally Asynchronous Locally Synchronous (GALS) Systems (graduated, 2009)
2 Bhargav Gulavani On Improving the Precision of Static Program Analysis (graduated, 2010)
3 Hrishikesh Karmarkar Improved Constructions for Complementation, Disambiguation and Determinization of ω-automata (graduated, 2011)
4 Seetha Jayasankar Reachability Analysis of Large Sequential Circuits (on leave)
5 Abhisekh Sankaran
(co-supervised with Bharat Adsul )
Topics in Logic and Model Theory (ongoing)
6 Ajith K. John Quantifier Elimination Techniques for Formal Verification (ongoing)
7 Sukanya Basu Formal Methods for Analysis of Biological Systems (ongoing)
8 Kuldeep Singh Meel
(co-supervising with Prof. Moshe Y. Vardi, Rice University)
Studies in hashing based randomized techniques for combinatorial problems (ongoing)

Ongoing B. Tech./M. Tech. student projects

Ankush Das
(co-supervised with S. Akshay )
On Termination of Initialized Rational Linear Loop Programs

Last but not the least, alumni and their contributions to our research efforts.


Undergraduate courses: CS101 (Computer Programming and Utilization), CS331 (Theory of Computation), CS208 (Automata Theory and Logic -- well, we hardly had time to cover logic), CS206 (Formal Methods in Computer Science)

Graduate courses: CS628 (Introduction to Asynchronous Systems), CS719 (Topics in Mathematical Foundations of Formal Verification), CS615 (Formal Specification and Verification of Programs), CS402 (Selected Case Studies of Computer Systems: Formal Verification of Programs -- really, a variant of CS615)

Links to some course home pages:
Ongoing and recent past:
Autumn 2012    Selected Case Studies of Computer Systems: Formal Verification of Programs (CS402)
Spring 2012    Automata Theory and Logic (CS208)
Autumn 2013    Topics in Mathematical Foundations of Formal Verification (CS719)
Spring 2014    Formal Specification and Verification of Programs (CS615)
Autumn 2014    Computer Programming and Utilization (CS101)
Historically speaking:
Spring 2008    Formal Methods in Computer Science (CS206)
Autumn 2003    Theory of Computation (CS331)
Spring 2004     Introduction to Asynchronous Systems (CS628)

And for those interested in nothing but business plans ...