Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020
Derek Dreyer

Registered user since Sun 28 Sep 2014

Name:Derek Dreyer

Derek Dreyer is a professor of computer science at the Max Planck Institute for Software Systems (MPI-SWS) and Saarland University, 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.



ICFP 2020 Author in Steering Committee
PLMW @ ICFP 2020 How To Write Papers So People Can Read Them
Show activities from other conferences

ICFP 2020-profile
View general profile