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

Contributions

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

POPL 2018-profile
View general profile