I have moved. Please visit my new homepage at http://www.mpi-sws.org/~dg

Deepak Garg

Home       Research papers       Talks       Contact

Research Interests

Computer security and privacy, formal logic, programming languages

Recent Work/News

Professional Activities

CSF 2012 (Publications chair), FAST 2011 (PC), PLAS 2011 (PC), PLAS 2010 (co-chair), ...
Post-Doctoral Researcher
in CyLab at CMU

CIC Building, 2119D
Phone: +1 (412) 268 9604

Ph.D, Computer Science at CMU (2009)
B.Tech, Comp. Sc. at IIT-Delhi (2003)

Current Host: Anupam Datta
Ph.D. advisor: Frank Pfenning

Last updated on July 20, 2011