
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 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.
Country:Germany
Affiliation:MPI-SWS
Personal website:http://www.mpi-sws.org/~dreyer
Contributions
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
View general profile