Supratik Chakraborty |
Professor
|
Tel: (+91 22) 25764787 / 25767721 Fax: (+91 22) 25720290 |
B. Tech. | I.I.T., Kharagpur |
M.S. and Ph.D. | Stanford University |
2020 | IJCAI-PRICAI, AAAI, LICS, ICALP, FMCAD |
2019 | VSTTE (PC co-chair), MFCS, FMCAD, ICCD |
2018 | AAAI, FMCAD, VSTTE |
2017 | ATVA |
2016 | LICS , FMCAD , ForMABS |
2015 | POPL (Ext Review Committee), ASYNC |
2014 | ASYNC , ATVA , VLSI Design , FSTTCS |
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 |
2009 | AFM , ASYNC , FMCAD , FMGALS |
1 |
Joycee Mekie , now at IIT Gandhinagar (co-supervised with Dinesh K. Sharma ) |
Interfacing Solutions for Globally Asynchronous Locally Synchronous (GALS) Systems (graduated 2009) |
2 | Bhargav Gulavani, now at Microsoft Research | On Improving the Precision of Static Program Analysis (graduated 2010, IIT Bombay Excellence in Thesis (CSE) Award 2011) |
3 | Hrishikesh Karmarkar , now at IIT Bombay | 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, now at Cambridge Univ (co-supervised with Bharat Adsul ) |
A Generalization of the Łoś-Tarski Preservation Theorem (graduated 2016, IIT Bombay Excellence in Thesis (CSE) Award 2017) |
6 | Ajith K. John, now at BARC | Scalable Quantifier Elimination Techniques for Formal Verification (graduated 2017) |
7 | Kuldeep Singh Meel , now
at National University of Singapore (co-supervised with Moshe Y. Vardi, Rice University) |
Constrained Counting and Sampling: Bridging the Gap between Theory and Practice (graduated 2017) |
8 | Sukanya Basu (co-supervised with Akshay S.) |
Functional Significance Checking in Biological Networks: Theory and Implementation" (graduated 2020) |
9 | Divyesh Unadkat (co-supervising with Ashutosh Gupta) |
Techniques in Software Verification (ongoing) |
Last but not the least, alumni and their contributions to our research efforts.
Ongoing and recent past: | |||
Autumn | 2018 | Topics in Mathematical Foundations of Formal Verification (CS719) | |
Spring | 2019 | Formal Specification and Verification of Programs (CS615) | |
Spring | 2018 | Digital Logic Design (CS226) + Digital Logic Design Lab (CS254) | |
Historically speaking: | |||
Autumn | 2014 | Computer Programming and Utilization (CS101) | |
Spring | 2012 | Automata Theory and Logic (CS208) | |
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 ...