User:Herrdreyer

Derek Dreyer is a scientific director at the Max Planck Institute for Software Systems (MPI-SWS) and an honorary professor of computer science at Saarland University in Saarbruecken, Germany, as well as the recipient of the 2017 ACM SIGPLAN Robin Milner Young Researcher Award. His research explores connections between type systems for high-level languages and separation logics for low-level systems programming. Most recently, he and his collaborators have led the development of RustBelt, the first formal foundation for the Rust programming language, as well as Iris, a unifying framework for higher-order separation logic implemented in Coq. Iris received the 2023 Alonzo Church Award for Outstanding Contributions to Logic and Computation.