
Prof. Derek Dreyer, head of the Foundations of Programming research group at the Max Planck Institute for Software Systems in Saarbrücken and Kaiserslautern since 2008, and an Honorarprofessor of Saarland University since 2017, has been appointed as a Scientific Member of the Max Planck Society and Scientific Director of MPI-SWS…