Deepak Garg

Teaching

• Distributed systems
  • Winter 2018 at MPI-SWS/Saarland University
• Secure information flow control in systems
  • Summer 2016 at MPI-SWS/Saarland University
• Logics in security
  • Winter 2014 at MPI-SWS/Saarland University
• Proof Theory seminar
  • Summer 2012 at MPI-SWS/Saarland University
• Functional Programming (Teaching Assistant)
  • Fall 2006 at Carnegie Mellon University
• Graduate Type Systems (Teaching Assistant)
  • Fall 2005 at Carnegie Mellon University

Imprint / Data Protection