Supratik Chakraborty

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

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

Training

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

Research

My current research interests include:

Formal methods for analysis and verification of large and complex systems
Automata, logic and finite model theory
Design and analysis of asynchronous and mixed synchronous-asynchronous systems

I'm also affiliated to the Centre for Formal Design and Verification of Software at IIT Bombay.

Publications

Recent conference committee memberships

2012	CAV , ATVA (PC Co-chair), ICTAC
2011	ASYNC , FSTTCS (PC Co-Chair), SPIN , VLSI Design (Verification Track Chair)
2010	ASYNC , VLSI Design
2009	AFM , ASYNC , FMCAD , FMGALS
2008	AFM , ASYNC , FSTTCS , VSTTE
2007	ASYNC , FSTTCS
2006	ASYNC , AVIS , FMCAD , FSTTCS , SEFM
2005	ASYNC , ATS , AVIS , FMGALS , VLSI Design
2004	ASYNC , VLSI Design
2003	ASYNC

Recent research students

*Ph.D.*	Joycee Mekie (co-supervised with Dinesh K. Sharma )	Interfacing Solutions for Globally Asynchronous Locally Synchronous (GALS) Systems (graduated, 2009)
	Bhargav Gulavani	On Improving the Precision of Static Program Analysis (graduated, 2010)
	Hrishikesh Karmarkar	Improved Constructions for Complementation, Disambiguation and Determinization of ω-automata (graduated, 2011)
	Seetha Jayasankar	Reachability Analysis of Large Sequential Circuits
	Abhisekh Sankaran	Topics in Logic and Model Theory
	Ajith K. John	On Searching Very Large State Spaces for Formal Property Checking

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

Teaching

Undergraduate courses: 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 latest 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	2011	Topics in Mathematical Foundations of Formal Verification (CS719)

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 ...