Deepak Garg

Home       Papers       Projects       Research group       Teaching       Service       Contact




I am looking for a student, a post-doc and up to two interns with a background in programming languages, logic and/or formal security. Please send me an email if you are interested. Email: Click to reveal email
Prospective interns please note: I usually do not consider first and second year (freshman and sophomore year) internship applications and I cannot respond to every email query regarding an internship. If you believe you have a strong profile, feel free to send me a reminder. Also consider applying to the MPI-SWS internship program here.
Interests     Computer security and privacy, formal logic, programming languages
Events     CSF 2015 (PC + Publications chair), FCS 2015 (co-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 Feb 4, 2015