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     Oakland 2015 (PC), POPL 2015 (PC), CCS 2014 (PC), CSF 2014 (PC + Publications chair), ...
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