Recent Courses
"It is the supreme art of the teacher to awaken joy in creative expression and knowledge." – Albert Einstein
"It is the supreme art of the teacher to awaken joy in creative expression and knowledge." – Albert Einstein
"Those who know, do. Those that understand, teach." – Aristotle
| Course Number | Subject Name | Session (WebLink) |
| CS10001 / CS10003 | Programming and Data Structures | [ 2025 Spring | 2024 Spring | 2023 Spring | 2020 Autumn | 2018 Spring ] |
| CS21001 / CS21201 | Discrete Structures | [ 2021 Autumn | 2020 Autumn | 2019 Autumn ] |
| CS21003 | Algorithms-I | [ 2020 Spring | 2019 Spring ] |
| CS31003 | Compilers | [ 2025 Autumn ] |
| CS60005 | Foundations of Computing Science | [ 2024 Autumn | 2022 Autumn | 2021 Autumn ] |
| CS60020 | Foundations of Algorithm Design and Machine Learning | [ 2025 Spring ] |
| CS60045 | Artificial Intelligence | [ 2023 Autumn ] |
| CS60050 | Machine Learning | [ 2024 Spring | 2023 Spring | 2021 Spring ] |
| CS60077 | Reinforcement Learning | [ 2024 Autumn | 2023 Autumn | 2022 Autumn ] |
| Course Number | Subject Name | Session (WebLink) |
| CS19101 / CS19003 | Programming and Data Structures Lab | [ 2022 Spring | 2021 Spring | 2019 Autumn | 2018 Autumn | 2017 Autumn ] |
| CS29003 | Algorithms Lab | [ 2020 Spring | 2019 Spring | 2018 Spring ] |
| CS39003 | Compilers Lab | [ 2025 Autumn ] |
"In learning you will teach, and in teaching you will learn." – Phil Collins
"Tell me and I forget. Teach me and I remember. Involve me and I learn." – Benjamin Franklin
| Year | Session/Semester | Course/Subject | Teacher |
| 2015 | Spring | Database Management Systems | Prof. Pallab Dasgupta |
| 2013 | Autumn | Programming and Data Structure (Theory) | Prof. Partha Pratim Chakrabarti |
| Spring | CAD for VLSI | Prof. Indranil Sengupta | |
| 2012 | Autumn | Embedded Software Design and Validation (Theory + Lab) | Prof. P. Dasgupta, Prof. P. P. Chakrabarti and Prof. R. Mall |
| Spring | CAD for VLSI | Prof. Dipanwita Roy Chowdhury | |
| 2011 | Autumn | Embedded Software Design and Validation (Theory + Lab) | Prof. P. Dasgupta, Prof. P. P. Chakrabarti and Prof. R. Mall |
| Spring | CAD for VLSI | Prof. Chittaranjan Mandal | |
| 2010 | Autumn | Foundations of Computing Science | Prof. Pallab Dasgupta |
| Spring | Distributed Systems | Prof. Pallab Dasgupta | |
| 2009 | Autumn | Graph Theory | Prof. Pallab Dasgupta |
| Spring | CAD for VLSI | Prof. Partha Pratim Chakrabarti | |
| 2008 | Autumn | Programming and Data Structure (Theory) | Prof. Sudeshna Sarkar |
| Spring | Distributed Systems | Prof. Pallab Dasgupta | |
| 2007 | Autumn | Graph Theory | Prof. Pallab Dasgupta |
| 2006 | Autumn | Graph Theory | Prof. Pallab Dasgupta |
"When one teaches, two learn." – Robert Heinlein
| Year | Month | Course/Program | Lecture Title |
| 2025 | June | Indian Oil Training on AI and ML | Support Vector Machines (SVM) and Kernels (Lecture) |
| 2024 | July | AICTE QIP PG Certificate Programme in AI and ML | AI and ML in Games (Lecture) |
| Reinforcement Learning (Lecture) | |||
| 2022 | December | Bangladesh-Bharat Digital Service and Employment Training (BDSET) | Logic and Deduction in AI (Lecture) |
| Constraint Satisfaction Problems in AI (Lecture) | |||
| Reinforcement Learning: An Overview (Lecture) | |||
| 2019 | November | Synopsys Employee Training Program | Design Verification (Lecture+Lab: one-week course) |
| 2014 | June | International Summer and Winter Term (ISWT) | Advanced Formal Techniques in Design, Verification and Testing of Digital Integrated Circuits (Lab) |
| 2012 | May | Advanced VLSI Summer Course | Assertions in Design Verification (Lecture + Lab) |
| September | Interra Systems Employee Training Program | Design Verification (Lab) | |
| 2011 | March | Interra Systems Employee Training Program | Simulation and Assertion-based Verification (Lecture + Lab) |
| Formal Verification Tools and Applications (Lecture + Lab) | |||
| May | Advanced VLSI Summer Course | Assertions in Design Verification (Lecture + Lab) | |
| August | Interra Systems Employee Training Program | Formal Specification and Design Verification (Lecture + Lab) | |
| December | Formal Verification Tools - NuSMV and Magellan (Lab) | ||
| 2010 | May | Advanced VLSI Summer Course | Assertions as Applied to Design Verification (Lecture + Lab) |
| December | Interra Systems Employee Training Program | Formal Verification Tools and Applications (Lecture + Lab) | |
| 2009 | May | Advanced VLSI Summer Course | Simulation and Assertion-based Verification (Lecture + Lab) |
| 2008 | May | Advanced VLSI Summer Course | Assertion-based Verification (Lecture + Lab) |
| Testing and Design for Testability (DFT) (Lecture) | |||
| 2006 | December | Interra Systems Employee Training Program | NuSMV - A New Symbolic Model Verifier Tool (Lab) |
