Scholar
Supratik Chakraborty
Google Scholar ID: LwG4hd8AAAAJ
Dept. of Computer Science and Engineering, IIT Bombay
Citations & Impact
Citations
1,267
H-index
18
i10-index
30
Publications
20
Co-authors
44
list available
Contact
Publications
Resume (English only)
Academic Achievements
- Publications:
- - A. Yeolekar, S. Chakraborty, R. Venkatesh, and S. Chakraborty, "Repairing Control Safety Violations via Scheduler Patch Synthesis", to appear in Proc. of International Conference on Cyber Physical Systems (ICCPS), May 2025.
- - S. Akshay, S. Chakraborty, and S. Shah, "Tractable Representations for Boolean Functional Synthesis", in Annals of Mathematics and Artificial Intelligence, Vol 92(5), pg 1051--1096, Nov 2024 [Springer SharedIt].
- - P. Darke, B. Chimdyalwar, R. Venkatesh, and S. Chakraborty, "The VeriAbs Tool Suite for Code Verification", Invited paper in Proc. of 22nd International Symposium on Automated Technology for Verification and Analysis.
Research Experience
- Position: Bajaj Group Chair Professor
- Department: Department of Computer Science and Engineering
- Institution: Indian Institute of Technology Bombay
- Research Experience: Applied formal methods to reason about software, hardware, machine learning, and biological systems.
Background
- Research Interests: formal methods, developing theory, algorithms, and computational tools to help build verifiably correct hardware, software, and intelligent systems. Areas: formal verification, rigorous analysis, automated synthesis, etc.
Miscellany
- Other Professional Activities:
- - Delivered invited talks and tutorials at various international conferences such as Innovations in Compiler Technology Workshop, Amazon Automated Reasoning Symposium, IARCS Verification Seminar Series, AAAI 2022, IJCAI 2022, Simons Institute for the Theory of Computing, ACM India Winter School, etc.
- - Collaborated with researchers like Kuldeep S. Meel, Akshay S., P. Golia, S. Roy, Moshe Y. Vardi, and others.
