Deepak Garg
|
|
E-mail: dg+@cs.cmu.edu Office Phone: +1 (412) 268-3069 Office Address: Wean Hall 8121 Carnegie Mellon University Pittsburgh PA 15213 Snail Mail and Other Contact Information |
Research Interests Publications, Drafts, ... Research Talks Teaching Academic Links Plan/Absences Personal Private |
I am a graduate student at the Computer Science Department, Carnegie Mellon University. My advisor is Frank Pfenning. Before coming to CMU, I was an undergraduate student at the Computer Science and Engineering Department, Indian Institute of Technology, New Delhi.
Research Interests
I am broadly interested in logic and programming languages. Presently I am working on developing access control logics with a strong proof theoretic foundation. In the past I have worked on type systems for concurrent languages and chemical abstract machines for implementing process calculi. Specific interests:- Logics for security, access control logics, proof-carrying authorization
- Linear, modal, epistemic logics
- Proof theory, proof search
- Concurrent languages, esp. process calculi and type systems
- Logic, declarative programming
Publications Talks
Teaching
- Fall, 2005: Graduate Type Systems 15-814
- Fall, 2006: Principles of Programming 15-212
Academic Links
Curriculum Vitae (November 2006)Graduate Courses Taken
Plan for Fall 2007
I'll be in CMU this fall. <!-- My weekly href="schedule.html"schedule.>Personal
I am a citizen of India. My hometown is New Delhi.A site supporting Barack Obama as Presidential candidate.
More personal stuff