Four research papers from the “Big Data Algorithms” research group have been accepted for presentation at the A*-ranked ACM-SIAM Symposium on Discrete Algorithms (SODA). SODA is the top conference in the field of algorithms and one of the most prestigious conferences in theoretical computer science. In 2025, the conference will take place in mid-January in New Orleans. The “Big Data Algorithms” research group has been based at the University of Salzburg since 2022 and is led by Prof.

Within just a few days, the Department of Computer Science had the pleasure of celebrating two successful dissertation defenses together with the doctoral candidates, their friends, and families. After years of intensive and diligent work, Gregor Bankhamer (left in the picture) and Tijn de Vos (right in the picture) successfully completed their doctorates. Mr. Bankhamer focused in his dissertation, titled “Randomized Algorithms for Distributed Consensus and Local Failover Routing,” on two fundamental problems in distributed systems.

Ana Sokolova: New Impulses for Formal Methods at the Paris Lodron University Salzburg On October 1, 2024, Ana Sokolova assumed the professorship for Formal Methods at the Department of Computer Science at the Paris Lodron University Salzburg (PLUS). This appointment underscores the growing importance of this research field for the university and marks a strong commitment to the advancement of formal computer science. Ana Sokolova was born in 1971 in Skopje, North Macedonia (then Yugoslavia), and graduated in 1989 from the renowned Mathematics and Computer Science High School Rade Jovčevski Korčagin.