The French Data Protection Authority CNIL has recognized the benefits of Diffix anonymization by republishing an article by Paul Francis in which the utility of Diffix anonymization is highlighted. Diffix is the anonymization technology developed in joint research between Francis' group and Aircloak GmbH. Last year, CNIL published an article titled…
MPI-SWS researcher Mitra Nasri will join TU Delft as an assistant professor starting October 1, 2018. Congratulations, Mitra!
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…
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…
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…
