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: 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
M. Tech. Rajkumar Gajavelly An Investigation into Word-level Symbolic Trajectory Evaluation
  Sukanya Basu Hashing based Abstraction Techniques for Word-level Designs
B. Tech. Pritish Kamath Studies in Finite Model Theory
  Vivek Madan Studies in Finite Model Theory

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


Teaching

I've taught CS331, an undergraduate course on Theory of Computation in the autumns of 2000, 2001, 2002 and 2003. In the springs of 2005, 2006 and 2007, I taught CS206, an undergraduate course on Formal Methods in Computer Science.

I've also taught CS628, a graduate-level elective on Introduction to Asynchronous Systems in the springs of 2001, 2002, 2003 and 2004. In the autumns of 2004, 2005, 2006 and 2007, and in spring 2010, I taught CS615, a graduate-level elective on Formal Specification and Verification of Programs. I also formulated and taught a graduate-level elective course, CS719 Topics in Mathematical Foundations of Formal Verification in Spring 2009, Autumn 2009 and Autumn 2010. The fourth offering of this course is currently ongoing (Autumn 2011).

Links to latest course home pages:
Ongoing and recent past:
Spring 2012    Theory of Computation (CS208)
Autumn 2011    Topics in Mathematical Foundations of Formal Verification (CS719)
Spring 2010    Formal Specification and Verification of Programs (CS615)
 
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 ...