Menu
Toggle navigation
Home
about
Department
Calendar
Newsletters
Reaching Us
Contact Us
People
Faculty
Post Doctoral Fellows
Engineers
Staff
Students
Research
Areas
Milestones
Publications
Support
N Rama Rao Chair
Poonam and Prabhu Goel Chair
Research-I Foundation
Blockchain
C3i Center
CDIS Center
SESRes
SIGCRYSP
SIGDATA
SIGML
SIGTACS
SURGE
Vision
Teaching
Courses
Course Timetable (Previous Sem.)
Course Timetable (Current Sem.)
Course Timetable (Next Sem.)
Anti-Cheating Policy
Programs
BTech
BT-MT (Dual Degree)
MTech
MS
BT-MT, MTech, MS in Cyber Security
PhD
Minor Programs
e-masters
e-masters (Enrollment Link)
Admissions
Under graduate
Post graduate
Careers
Prospective Faculty
Prospective Postdoc
Staff Openings
Counselling
Alumni-Fund
Obituaries
Prof. Amitabha Mukerjee
Prof. Kesav Nori
Prof. Pramod Subramanyan
Links
Committees
Annual Best Teacher Award
CSE Lab Facilities
Department Info
Suo Moto Disclosure
IITK Main Site
Kendra (CSE Automation)
Our SSL/TLS Certificates
Webmail
Roundcube
Room Booking
Mid-Sem Exam Schedule
End-Sem Exam Schedule
Home
>
People
>
Students
>
PhD 2014
PhD 2014 Students
Abhishek Dang
Supervisor:
Subhajit Roy
Research Interest:
Type Theory, Proof assistants, Verification
