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 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:- 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