Skip to main content
Default Style
Blue
Pink
Search form
Search
Devika’s Thesis Defense
Venkatesh Thesis Defense
Team
Women at work
Program Analysis @ IIIT-Delhi
Previous
Pause
Next
802
84
708
701
89
Home
Menu
Home
People
Publications
Teaching
News & Events
Resources
Blog Posts
Gallery
Contact
Gallery
Visit by Dr. Murali Krishna from IISc Bangalore
Sangeeth defending his M.Tech. thesis work
Rangoli Competition
Group Meeting
Visit by Dr. DiptiKalyan Saha
Visit by Dr. Santosh Nagarkatte
Ridhi and Dhriti in lab
Dr. Padmanabhan Krishnan answering a question from audience in his seminar talk
Dr. Padmanabhan Krishnan from Oracle labs, Brisbane delivering a seminar talk
Some teaching
POPL Mumbai 2015
Germany ASIRF Conference
Pages
« first
‹ previous
1
2
3
next ›
last »
Links to tools created by the group
ANNE
Hermes
Course Particular
Program Analysis
Practice of Programming
Program Synthesis
Interesting External Links
Matt Might's blog
Why do a Ph.D by Yannis Smaragdakis
Get in touch with us
pagadmin@iiitd.ac.in
Education - This is a contributing Drupal Theme
Design by
WeebPal
.
