Deepak Garg
Home
Research papers
Research talks
Teaching/Courses
Readings
Contact
Personal
Teaching Assistant
Fall, 2005: Graduate Type Systems
15-814
Fall, 2006: Principles of Programming 15-212
Graduate Courses Taken
Courses marked (*) were taken towards a core requirement
Fall 2003
15-814* Introduction to Type Systems
15-819 Seminar in Type Refinements
15-781* Graduate Machine Learning
Spring 2004
80-713 Category Theory
15-815 Automated Theorem Proving
Fall 2004
15-851 Computation and Deduction
15-855* Introduction to Computational Complexity Theory
Spring 2005
15-745* Optimizing Compilers for Modern Architectures
80-820 Categorical Logic
Fall 2005
15-712* Advanced Operating Systems and Distributed Systems
Fall 2006
15-819K Logic Programming
Fall 2007
15-819 Languages and Logics for Security
Spring 2009
15-819 Hybrid Systems Analysis and Theorem Proving
80-714 Modal Logic Seminar