MPI-SWS PhD students appointed as tenure-track faculty at ETH Zurich and ISTA
MPI-SWS PhD students Michalis Kokologiannakis and Michael Sammler have accepted tenure-track faculty positions at ETH Zurich and ISTA, respectively.
The group’s research focuses on the principles, design and implementation of programming languages and on foundational techniques and practical tools for analyzing, testing, and verifying programs against their correctness specifications.
Recent research has developed techniques for verifying compilers and other critical software, and tools for testing and/or verifying concurrent systems.