SSB 401
(+91)-44-2257-4387
nagark[at]cse[dot]iitm[dot]ac[dot]in
Research
Interests:
Automated Formal Verification, Program Analysis, Programming Languages.
Teaching
Interests:
| Sno | Period | Course No | Title |
|---|---|---|---|
| 1 | JAN-MAY 2026 | CS6225 | Programs and Proofs |
| 2 | JUL-NOV 2025 | CS1111 | Problem Solving using Computers |
| 3 | JAN-MAY 2025 | CS5030 | Automated Program Verification |
| 4 | JAN-MAY 2025 | CS5705 | Dual Degree Project I |
| 5 | SUMMER 2025 | CS5030 | Automated Program Verification |
| 6 | JUL-NOV 2024 | CS3100 | Paradigms of Programming |
| 7 | JUL-NOV 2024 | RC0227A | Research Credits |
| 8 | JAN-MAY 2024 | CS3100 | Paradigms of Programming |
| 9 | JAN-MAY 2024 | CS5030 | Automated Program Verification |
| 10 | JAN-MAY 2024 | CS5705 | Dual Degree Project I |
| 11 | JAN-MAY 2024 | RC0227A | Research Credits |
| 12 | SUMMER 2024 | RC0227B | Summer Research Credits |
| 13 | JUL-NOV 2023 | CS3100 | Paradigms of Programming |
| 14 | JUL-NOV 2023 | CS7030 | Recent Topics in Compilers |
| 15 | JAN-MAY 2023 | CS2810 | Object-Oriented Algorithms Implementation and Analysis Lab |
| 16 | JAN-MAY 2023 | CS5030 | Automated Program Verification |
| 17 | JUL-NOV 2022 | CS2710 | Programming and Data Structures Lab |
| 18 | JAN-MAY 2022 | CS5030 | Automated Program Verification |
| 19 | JUL-NOV 2021 | CS3300 | Compiler Design |
| 20 | JAN-MAY 2021 | CS2200 | Language Machines and Computations |
| 21 | JUL-NOV 2020 | CS5030 | Automated Program Verification |
| Sno | Program | Name | Roll No |
|---|---|---|---|
| 1 | M.S | JAY RAJESH RATHI | CS24S001 |
| 2 | M.S | DIVYANSHU UPADHYAY | CS23S031 |
| 3 | Ph.D | NITISH YADAV | CS23D011 |
| 4 | Ph.D | DIVYA RATHORE | CS21D011 |
| 5 | Ph.D | VIMALA S | CS19D750 |
