Deepak Garg

Home       Research papers       Talks       Teaching       Contact

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), ...
Head, Foundations of Computer Security Group
Max Planck Institute for Software Systems

Campus E1 5, Room 412, Saarbrücken

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

Last updated on Sep 4, 2012