Deepak Garg

Deepak Garg is a tenured faculty member at the Max Planck Institute for Software Systems and an Honorary Professor of Computer Science at Saarland University. His research focuses on programming languages, software security, formal verification, and information flow control.

Research Interests:

• Programming Languages and Type Theory
• Software Security and Secure Compilation
• Information Flow Control and Access Control
• Formal Verification of Low-Level Programs
• Probabilistic Programming and Security
• Compiler Correctness and Runtime Systems

Scientific Contributions: He has authored over 40 publications with notable awards including the Dr.-Eduard-Martin-Prize for thesis supervision, Distinguished Paper and Distinguished Artifact awards at PLDI 2021, and the Internet Defense Prize for ERIM 2019. His work spans foundational research (e.g., logics for authorization) and practical systems (e.g., Groundhog, RefinedC, ERIM).

Advising: Supervised 12 PhD students to completion and currently advising 7 PhD candidates across institutions like Saarland University, MPI-SWS, and Penn State University. His group includes co-advised students with researchers such as Derek Dreyer and Peter Druschel.

Service: Active in program committees for top conferences including CSF, LICS, and OOPSLA, with leadership roles in workshops like PLMW and Dagstuhl Seminars on Secure Compilation.