Skip to content
Computer Science and Engineering
Indian Institute of Technology Delhi
Home
Academics
Programs
Ph.D.
MS(Research)
M.Tech
Dual Degree
B.Tech
Visiting Students
Admissions
Ph.D./MS(Research)
M.Tech
Courses
Current Offerings
All Courses
People
Faculty Member
Staff
Ph.D. Students
Research
Areas
Algorithms and Complexity
Architecture and Embedded Systems
Artificial Intelligence and Machine Learning
Graphics and Vision
Databases and Data Analytics
Programming languages and Formal Methods
Networks and Operating Systems
ICTs for Sustainability and Development
Publications
Projects
News
Seminars/Events
Awards/Honours
Faculty/Student
Outstanding TAs
Student Projects
Highlights
Research Stories
Join Us!
Contact Us
Computer Science and Engineering
Indian Institute of Technology Delhi
Navigation Menu
Navigation Menu
Home
Academics
Programs
Ph.D.
MS(Research)
M.Tech
Dual Degree
B.Tech
Visiting Students
Admissions
Ph.D./MS(Research)
M.Tech
Courses
Current Offerings
All Courses
People
Faculty Member
Staff
Ph.D. Students
Research
Areas
Algorithms and Complexity
Architecture and Embedded Systems
Artificial Intelligence and Machine Learning
Graphics and Vision
Databases and Data Analytics
Programming languages and Formal Methods
Networks and Operating Systems
ICTs for Sustainability and Development
Publications
Projects
News
Seminars/Events
Awards/Honours
Faculty/Student
Outstanding TAs
Student Projects
Highlights
Research Stories
Join Us!
Contact Us
Formal Methods
Subhankar Jana
by
admin
February 25, 2025
Advisor: Kumar Madhukar, Priyanka Golia
Sahil Bhatia
by
admin
January 20, 2025
Vaishnavi Sundararajan
by
admin
November 30, 2024
December 12, 2024
Subodh Vishnu Sharma
by
admin
November 30, 2024
December 12, 2024
Sanjiva Prasad
by
admin
November 30, 2024
April 28, 2025
Priyanka Golia
by
admin
November 30, 2024
January 21, 2025
Kumar Madhukar
by
admin
November 30, 2024
May 15, 2025
