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.

Teaching Interests:

Lecture-based Courses

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