About
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.
0Publications listed
Find Derek Dreyer elsewhere
Related Searches
You Might Also Like
Derek DreyerMax Planck Institute for Software Systems · Professor
Deepak GargMax Planck Institute for Software Systems · Professor
Derek DreyerNational and Kapodistrian University of Athens · Professor
Marcel DischingerMax Planck Institute for Software Systems · Researcher
Jan-Oliver KaiserMax Planck Institute for Software Systems · Researcher
Dmitry ChistikovMax Planck Institute for Software Systems · Researcher