Bio:
Derek Dreyer is a tenured faculty member of the Max Planck Institute for Software Systems (MPI-SWS) in Saarbrucken, Germany, where he leads the "Foundations of Programming" Group. He is currently working toward a realistic theory of modularity; that is, he is trying to figure out how to build and reason modularly about programs that use features such as fine-grained weak-memory concurrency, higher-order state, recursive linking, dependent types, and self-modifying assembly code. From 2012 to 2015, he served on the ACM SIGPLAN Executive Committee, where he chaired the committees for most-influential-paper awards. He is still actively involved in a variety of SIGPLAN activities, including steering the Programming Languages Mentoring Workshop (PLMW) series, which has helped expose many new students to PL research.