Deepak Garg

Teaching

• Secure multi-party computation protocols (seminar)
  • Winter 2024 at MPI-SWS/Saarland University
• Distributed systems (core course)
  • Summer 2023 at MPI-SWS/Saarland University
  • Winter 2018 at MPI-SWS/Saarland University
• Secure information flow control in systems (seminar)
  • Summer 2016 at MPI-SWS/Saarland University
• Logics in security (seminar/advanced lecture)
  • 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