Deepak Garg

Home       Research papers       Talks       Teaching       Contact




Research Interests

Computer security and privacy, formal logic, programming languages

Recent Work/News

Professional Activities

APLAS 2012 (PC), CSF 2012 (PC and Publications chair), FAST 2011 (PC), PLAS 2010 (co-chair), ...
Independent Researcher (Tenure track)
Max Planck Institute for Software Systems

Head of the Foundations of Computer Security (and Privacy) Group

Office: Wartburg 407
Email: dg@mpi-sws.org
Phone: +49 681 9303 9201

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



Last updated on April 11, 2012