Department of Computer Science & Engineering
Indian Institute of Technology Madras, Chennai, India.
A - Z Index
|
Sitemap
Home
People
Faculty
Regular Faculty
Visiting Faculty
Adjunct Faculty
Former Faculty
Staff
Scientific Officers
Administrative Staff
Technical Officers
Technical Staff
Project Staff (Tech)
Project Staff (Admin)
Research Scholars
Ph.D.
M.S.
Students
M.Tech
B.Tech Dual Degree
B.Tech
Join Us !
Research
Areas of Research
Research Labs
Research Centers
Robert Bosch Centre for Data Science and Artificial Intelligence
Center for Computational Brain Research (CCBR)
Research Publications
Sponsored Projects
Research Patents
Books
Theses
Academics
Programmes
Curriculum
B.Tech
B.Tech (DD)
M.Tech
Courses
Core Courses
Elective Courses
Even Semester
Odd Semester
Current Courses
Time Table
Moodle
Outreach
Events
Department Events
Department Seminar
PhD Seminar
MS Seminar
PhD Defence
Resources
E-services
Mail
DCF
Room Scheduler
Issue Tracker
Web Group
Library
CS Office
About Us
Message from the HoD
Awards
Distinguished Alumni
Statistics
History
Contact Us
Kartik Nagar
Assistant Professor
Email : nagark [at] cse [dot] iitm [dot] ac [dot] in
Link to Personal Homepage
Research Interests :
Automated Formal Verification, Program Analysis, Programming Languages.
News/Announcements
Jan 1, 2020
: Dr Kartik Nagar joined the department as an assistant professor.
(read more)
(View All)
All Seminars
Department Seminar
PhD Forum Talk
Faculty Research Seminar
PhD Seminar
MS Seminar
PhD Defence
© 2016 - All Rights Reserved -
Dept of CSE, IIT Madras
Website Credits
