Supratik Chakraborty

Professor Supratik Chakraborty is a distinguished faculty member in the Department of Computer Science and Engineering at IIT Bombay, where he has been teaching since 2000. He holds a BTech from IIT Kharagpur and MS and PhD degrees from Stanford University. As the Bajaj Group Chair Professor, Chakraborty's research focuses on formal methods, automata theory, and logic, with a particular interest in bridging the gap between theory and practical applications. He has taught several advanced courses at IIT Bombay, including Topics in Mathematical Foundations of Formal Verification, Formal Specification and Verification of Programs, Automata Theory and Logic, and Formal Methods in Computer Science. Chakraborty has supervised numerous PhD students and is the principal investigator of the Centre for Formal Design and Verification of Software at IIT Bombay. His work extends beyond academia, as he has led collaborative projects with industry and government research organizations, and is involved in initiatives for underprivileged communities and improving school education in India. Chakraborty's contributions to the field are evident in his role as an educator, researcher, and thought leader in formal methods and their real-world applications.