hit counter html code
team

Kartik Nagar

Assistant Professor

SSB 401

(+91)-44-2257-4387

nagark[at]cse[dot]iitm[dot]ac[dot]in

Personal Website

Research Interests:
Automated Formal Verification, Program Analysis, Programming Languages.

Lecture-based Courses

Sno Period Course No Title
1JUL-NOV 2026CS3100Paradigms of Programming
2JAN-MAY 2026CS6225Programs and Proofs
3JUL-NOV 2025CS1111Problem Solving using Computers
4JAN-MAY 2025CS5030Automated Program Verification
5SUMMER 2025CS5030Automated Program Verification
6JUL-NOV 2024CS3100Paradigms of Programming
7JAN-MAY 2024CS3100Paradigms of Programming
8JAN-MAY 2024CS5030Automated Program Verification
9JUL-NOV 2023CS3100Paradigms of Programming
10JUL-NOV 2023CS7030Recent Topics in Compilers
11JAN-MAY 2023CS2810Object-Oriented Algorithms Implementation and Analysis Lab
12JAN-MAY 2023CS5030Automated Program Verification
13JUL-NOV 2022CS2710Programming and Data Structures Lab
14JAN-MAY 2022CS5030Automated Program Verification
15JUL-NOV 2021CS3300Compiler Design
16JAN-MAY 2021CS2200Language Machines and Computations
17JUL-NOV 2020CS5030Automated Program Verification

Project Courses Coordination

Sno Period Course No Title
1JAN-MAY 2025CS5705Dual Degree Project I
2JUL-NOV 2024RC0227AResearch Credits
3JAN-MAY 2024CS5705Dual Degree Project I
4JAN-MAY 2024RC0227AResearch Credits
5SUMMER 2024RC0227BSummer Research Credits

Sno Program Name Roll No
1M.SJAY RAJESH RATHICS24S001
2M.SDIVYANSHU UPADHYAYCS23S031
3Ph.DNITISH YADAVCS23D011
4Ph.DDIVYA RATHORECS21D011
5Ph.DVIMALA SCS19D750