Derek Dreyer

Registered user since Sun 28 Sep 2014

Name: Derek Dreyer

Bio: Derek Dreyer is a professor of computer science at the Max Planck Institute for Software Systems (MPI-SWS), and recipient of the 2017 ACM SIGPLAN Robin Milner Young Researcher Award. His research runs the gamut from the type theory of high-level functional languages, down to the verification of compilers and low-level concurrent programs under relaxed memory models. He is currently leading the RustBelt project, which focuses on building the first formal foundations for the Rust programming language. He also knows a thing or two about Scotch whisky.

Affiliation: MPI-SWS

Personal website: http://www.mpi-sws.org/~dreyer

Contributions

PLMW 2018Committee Member in Speakers within the PLMW-track
Author of How to Give Talks That People Can Follow within the PLMW-track
POPL 2018Author of RustBelt: Securing the Foundations of the Rust Programming Language within the Artifact Evaluation-track
Author of Milner Award Lecture: The Type Soundness Theorem That You Really Want to Prove (and Now You Can) within the Research Papers-track
Author of RustBelt: Securing the Foundations of the Rust Programming Language within the Research Papers-track
Show activities from other conferences

POPL 2018-profile
View general profile