News Archiv




Bild der Pressemitteilung
Research Spotlight: Learning to interact with learning agents

Many real-world systems involve repeatedly making decisions under uncertainty—for instance, choosing one of the several products to recommend to a user in an online recommendation service, or dynamically allocating resources among available stock options in a financial market. Machine learning (ML) algorithms driving these systems typically operate under the assumption…

Bild der Pressemitteilung
MPI-SWS researchers receive QEST’18 Best Paper Award

Mahmoud Salamati and Rupak Majumdar have received the Best Paper Award at the 15th International Conference on Quantitative Evaluation of Systems (QEST 2018) for their paper entitled “Approximate Time Bounded Reachability for CTMCs and CTMDPs: A Lyapunov Approach” (with Sadegh Soudjani from Newcastle University).

Bild der Pressemitteilung
French Data Protection Authority CNIL Republishes Francis‘ Article

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…

Bild der Pressemitteilung
Professor Appointment

MPI-SWS researcher Mitra Nasri will join TU Delft as an assistant professor starting October 1, 2018. Congratulations, Mitra!

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…

1 ...
1819202122 ...
34