Supratik Chakraborty

 

 


 

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.




Customize your search:

E.g., 2016-12-07
E.g., 2016-12-07
E.g., 2016-12-07
Self Paced

Learn basic computer programming skills and master the art of writing C/C++ programs to solve real world problems. Basic concepts of computer programming are introduced, starting with the notion of an algorithm. Emphasis is on developing the ability to write programs to solve practical computational problems.

Average: 9.2 (5 votes)
Self Paced

Learn the principles of programming for building large and extensible systems. Go beyond the basics of programming to understand object-oriented methodology, the approach to modular and reusable software systems.

Average: 10 (2 votes)