SSB 401
(+91)-44-2257-4359
kcsrk[at]cse[dot]iitm[dot]ac[dot]in
Research
Interests:
Building robust, secure and scalable systems using programming language technology
Teaching
Interests:
| Sno | Period | Course No | Title |
|---|---|---|---|
| 1 | JAN-MAY 2026 | CS6868 | Concurrent Programming |
| 2 | JUL-NOV 2025 | CS3100 | Paradigms of Programming |
| 3 | JUL-NOV 2022 | CS3300 | Compiler Design |
| 4 | JAN-MAY 2021 | CS6225 | Programs and Proofs |
| 5 | JUL-NOV 2020 | CS3100 | Paradigms of Programming |
| 6 | JAN-MAY 2020 | CS6225 | Programs and Proofs |
| 7 | JUL-NOV 2019 | CS3100 | Paradigms of Programming |
| Sno | Program | Name | Roll No |
|---|---|---|---|
| 1 | M.S | VISHAKH ANIL DESAI | CS25S018 |
| 2 | M.S | SANJEEV REDDY B | CS25S013 |
| 3 | Ph.D | DURWASA CHAKRABORTY | CS24D011 |
| 4 | Ph.D | SHEERA SHAMSU | CS20D001 |
