Derek Dreyer → ResearchCurriculum Vitae Research Statement Professional Activities Awards and Grants Research Advisees Publications About Me I am a scientific director of the Max Planck Institute for Software Systems (MPI-SWS) in Kaiserslautern and Saarbrücken, Germany. I work at the Saarbrücken branch of the institute, where I lead the “Foundations of Programming” Group. I have been faculty here since January 2008, rec
