The three new English-language M.Sc. degree programmes "Computer Science", "Data Science" and "Human-Centred Artificial Intelligence" prepare students specifically for future topics in an…
The first FIDS prize for special commitment by young female scientists goes to Dr Tanja Auge (Data Engineering), Magdalena Glas (Information Systems I) and Melanie A. Kilian (Information Science).
Zafer Esen has successfully defended his doctoral thesis entitled "Transformations for Verifying Programs with Heap-Allocated Data Structures". Congratulations!
Chencheng Liang has successfully defended her doctoral thesis entitled "Learning to Guide Automated Reasoning: A GNN-Based Framework". Congratulations!
The paper "Field Tested Authentication for Quantum Key Distribution and DoS Attacks" by Antoine Gansel, Juliane Krämer, Tim Schumacher, Patrick Struck, Maximilian Tippmann and Thomas Walther has been…
The paper "What's Decidable About Arrays With Sums?" by Roland Herrmann and Philipp Rümmer was accepted at CADE-30. The conference will take place from 28 to 31 July in Stuttgart.
In order for our website to function technically, we set required cookies. In addition, optional cookies enable the best possible use of the site. By checking the checkboxes you give your consent. You can revoke this at any time. More info about this in our privacy policy.
