Derek Dreyer

Derek Dreyer is the Scientific Director at the Max Planck Institute for Software Systems (MPI-SWS) and an Adjunct Professor in the Saarland Informatics Campus of Saarland University. His research focuses on programming languages, type theory, and formal verification of software systems.

• Education: PhD in Computer Science from Carnegie Mellon University (2005), advised by Bob Harper and Karl Crary.
• Key Contributions: Pioneering work in separation logic, ownership types, and memory safety for languages like Rust and C.
• Awards & Grants: Recipient of significant grants for research on logical foundations of safe systems programming.
• Leadership: Program Chair for POPL and PLDI, Organizer of RTFM (Red-Hot Topics in Faculty Mentoring), and active role in mentoring students through PLMW.
• Labs & Teams: Leads a dynamic research group at MPI-SWS, driving collaborative projects in programming languages and systems verification.