Deepak Garg

Home       Papers       Projects       Research group       Teaching       Service       Contact

I am looking for students, post-docs and interns with a background in formal methods and/or formal security. Please send me an email if you are interested. Email: Click to reveal email
Interests     Computer security and privacy, formal logic, programming languages
Events     CSF 2015 (PC + Publications chair), FCS 2015 (Chair), Oakland 2015 (PC), POPL 2015 (PC), CCS 2014 (PC), ...
Foundations of Computer Security Group
Max Planck Institute for Software Systems

Campus E1 5, Room 412, Saarbrücken
Email: Click to reveal email

Ph.D, Computer Science at CMU (2009)

Last updated on Sep 20, 2014