Researchers from the Machine Teaching Group at MPI-SWS have won a Microsoft Research PhD Scholarship for the project "Reinforcement Learning for Enabling Next-Generation Human-Machine Partnerships". The scholarship provides funding for one PhD student. More details about the scholarship programme can be found here.
The Winter 2019/2020 core Operating Systems course at Saarland University is being co-taught by MPI-SWS faculty members Björn Brandenburg, Antoine Kaufmann, and Keon Jang, along with MPI-SWS doctoral student Aastha Mehta.
Goran Radanovic joined MPI-SWS as a research group leader on Sep 16, 2019. He is generally interested in studying AI systems, and more specifically in the design and analysis of systems with intelligent and self-interested agents. Particular topics of interest include value-aligned artificial intelligence, human-AI collaboration, and decision making systems with…
Ori Lahav was awarded an ERC starting grant on "Verification-Aware Programming Language Concurrency Semantics". Ori was formerly a postdoctoral fellow in the Software Analysis and Verification group, and is now a tenure-track faculty member at Tel Aviv University. Read more about this year's ERC Starting Grants here.
Filip Mazowiecki is joining us from the University of Bordeaux, where he spent the last two years as a postdoc. His research area is formal verification, the study of verifying correct functioning of systems. He is mostly interested in the theoretical analysis of models like Petri nets and weighted automata,…
