Research Interests
Computer security and privacy, formal logic, programming languagesRecent Work/News
- ACM CCS paper on auditing for privacy violations ... Publications »
- I will join MPI-SWS as a tenure-track faculty member soon
- Two new papers at the upcoming STM workshop ... Publications »
- IEEE S&P article on compositional reasoning for security ... Publications »
Professional Activities
CSF 2012 (Publications chair), FAST 2011 (PC), PLAS 2011 (PC), PLAS 2010 (co-chair), ...in CyLab at CMU
CIC Building, 2119D
Phone: +1 (412) 268 9604
dg@cs.cmu.edu
Ph.D, Computer Science at CMU (2009)
B.Tech, Comp. Sc. at IIT-Delhi (2003)
Current Host: Anupam Datta
Ph.D. advisor: Frank Pfenning