Deepak Garg

Current

• Ph.D. students:
  • Vaastav Anand (co-advised with Antoine Kaufmann)
  • Roberta De Viti (co-advised with Peter Druschel)
  • Pierfrancesco Ingo (co-advised with Peter Druschel)
  • Jan Christian Menz
  • Michael Sammler (co-advised with Derek Dreyer)

Past

• Ph.D. students:
  • Mohamed Alzayat
      In absentia from February, 2023
      Co-advised with Peter Druschel.
  • Akram El-Korashy
      In absentia from July, 2022
  • Aastha Mehta
      Ensuring Compliance with Data Privacy and Usage Policies in Online Services.
      Thesis defended November, 2020 at Saarland University.
      Co-advised with Peter Druschel.
  • Eslam Elnikety
      Comprehensive and Practical Policy Compliance in Data Retrieval Systems.
      Thesis defended June, 2020 at Saarland University.
      Co-advised with Peter Druschel.
  • Dave Swasey
      Quit in June, 2020
      Co-advised with Derek Dreyer.
  • Vineet Rajani
      A type-theory for higher-order amortized analysis.
      Thesis defended April, 2020 at Saarland University.
  • Anjo Vahldiek-Oberwagner
      Techniques to protect confidentiality and integrity of persistent and in-memory data.
      Thesis defended February, 2019 at Saarland University.
      Co-advised with Peter Druschel.
  • Abhishek Bichhawat
      Practical dynamic information flow control.
      Thesis defended June, 2018 at Saarland University.
      Co-advised with Christian Hammer.
  • Ezgi Cicek
      Relational cost analysis.
      Thesis defended January, 2018 at Saarland University.
• Post-docs:
  • Andrew Hirsch, 2019-2022.
  • Willard Rafnsson, 2016-18.
  • Marco Patrignani, 2015-17.
  • Roly Perera, 2012-13 (6 months).
• Masters' students:
  • Maxi Wuttke
      Sound and Relatively Complete Coeffect and Effect Refinement Type Systems for Call-by-push-value PCF.
      Finished July, 2021 at Saarland University.
  • Iulia Bastys (Bolosteanu)
      Asymmetric secure multi-execution.
      Finished December, 2016 at Saarland University.
  • Akram El-Korashy
      A formal model for capability machines: An illustrative case study towards secure compilation to CHERI.
      Finished September, 2016 at Saarland University.
  • Mohamed Alzayat
      PolSim: Automatic policy validation via meta-data flow simulation.
      Finished September, 2016 at Saarland University.
      Co-advised with Peter Druschel.
  • Zoe Paraskevopoulou
      Self-adjusting computation for CostIt.
      Finished August, 2015 at ENS Cachan.
• Interns:
  • Marcel Ullrich, research immersion lab, Saarland University, 11/20-04/21.
  • Julian Rosemann, research immersion lab, Saarland University, 01/20-10/20.
  • Joseph Cutler, undergraduate intern, Wesleyan University, 05/20-08/20.
  • Navneel Singhal, undergraduate intern, IIT-Delhi, 04/20-07/20.
  • Peixuan Li, Penn State University, 06/19-09/19.
  • Hizbullah Abdul Aziz, Saarland University, 09/18-06/19.
  • Jan Menz, Saarland University, 09/18-04/19.
  • Michael Sammler, FAU Erlangen-Nuremberg, 08/18-12/18.
  • Maximilian Schwenger, research immersion lab, Saarland University, 02/17-04/17.
  • Venkat Arun, undergraduate intern, IIT-Guwahati, 05/16-07/16.
  • Ivan Radicek, TU-Vienna, 08/15-12/15.
  • Anirban Chatterjee, Amazon, 04/15-08/15.
  • Jinank Jain, undergraduate intern, IIT-Jodhpur, 05/15-07/15.
  • Pierre-Léo Bégay, undergraduate intern, ENS Cachan, 06/14-08/14.

Imprint / Data Protection