Prof Supratik Chakraborty received his BTech from IIT Kharagpur, and MS and PhD from Stanford University. He is currently a Professor of Computer Science and Engineering at IIT Bombay, where he has been teaching since 2000. His broad research interests are in theory and applications of formal methods, automata theory and logic. He has also worked on asynchronous systems in the past. He has taught several courses including Topics in Mathematical Foundations of Formal Verification, Formal Specification and Verification of Programs, Automata Theory and Logic, and Formal Methods in Computer Science, at IIT Bombay.
EdX
Discover the power of Object-Oriented Programming (OOP) with our expert-led course from edX. Dive into the fundamentals that drive the development of complex, scalable applications. This course is designed for programmers looking to advance their skills in designing robust and maintainable code. Learn how to apply OOP principles to create modular systems and reusable components.
EdX
Discover the basics of computer programming with our beginner-friendly course. Dive into essential concepts like algorithms, and learn to write effective C/C++ programs that tackle real-world problems. Perfect for those new to coding or looking to refine their skills.