News Archiv




Bild der Pressemitteilung
OOPSLA’18: Four MPI-SWS papers

Four papers to appear at OOPSLA'18 have been (co)-authored by MPI-SWS members. Horn-ICE Learning for Synthesizing Invariants and Contracts. Deepak D'Souza, Ezudheen P, Pranav Garg, Daniel Neider, P. Madhusudan. Randomized Testing of Distributed Systems with Probabilistic Guarantees. Burcu Kulahcioglu Ozkan, Rupak Majumdar, Filip Niksic, Mitra Tabaei Befrouei, Georg Weissenbacher. Reconciling High-level Optimizations…

Bild der Pressemitteilung
Several Open Positions in the ERC-funded RustBelt Project

The RustBelt project, kindly supported by an ERC Consolidator Grant, is looking to fill several open PhD and Postdoc positions. POSTDOCS: We are seeking exceptional candidates with a strong, internationally competitive track record of research in programming languages and/or verification.  The primary criterion is quality, but I am particularly interested in…

Bild der Pressemitteilung
Krishna Gummadi awarded ERC Advanced Grant

Krishna Gummadi, head of the MPI-SWS Networked Systems group, has been awarded an ERC Consolidator Grant. Over the next five years, his project "Foundations of Fair Social Computing" will receive 2.49 million euros, which will allow the group to develop the foundations for fair social computing in the future. In…

Bild der Pressemitteilung
Jonathan Mace joins MPI-SWS

Jonathan Mace has joined the institute as a tenure-track faculty member, effective September 1, 2018.  He is joining us from Brown University, USA, where he has completed his Ph.D. in computer science.  Jonathan's research focuses on tools, techniques, and abstractions to make it easier to develop and operate cloud distributed…

Bild der Pressemitteilung
Antoine Kaufmann joins MPI-SWS

Antoine Kaufmann is joining us from the University of Washington in Seattle, where he obtained his Ph.D. in computer science. His research investigates the design and implementation of efficient, scalable, and robust systems for rapidly evolving modern platforms, with a current focus on data centers. He addresses these challenges from…

1 ...
1920212223 ...
34