Deepak Garg

Home       Papers       Projects       Research group       Teaching       Service       Contact

I am looking for a student and a post-doc with a background in programming languages, logic and/or formal security. Please send me an email if you are interested.
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 April 6, 2015