| Research Interests | Computer security and privacy, formal logic, programming languages | |
| Students/Post-docs | Vineet Rajani, Dave Swasey, Ezgi Cicek, Roland Perera | |
| Professional Activities | Oakland 2013 (PC), POST 2013 (PC), APLAS 2012 (PC), CSF 2012 (PC and Publications chair), ... |
Max Planck Institute for Software Systems
Campus E1 5, Room 412, Saarbrücken
dg@mpi-sws.org
Ph.D, Computer Science at CMU (2009)
B.Tech, Comp. Sc. at IIT-Delhi (2003)