Die drei neuen englischsprachigen M.Sc.- Studiengänge „Computer Science”, „Data Science” und „Human-Centred Artificial Intelligence” bereiten Studierende in einem internationalen akademischen Umfeld…
Der erste Preis der FIDS für besonderes Engagement von Nachwuchswissenschaftlerinnen geht an Dr. Tanja Auge (Data Engineering), Magdalena Glas (Wirtschaftsinformatik I) und Melanie A. Kilian…
Das Paper "Public Key Linting for ML-KEM and ML-DSA" von Juliane Krämer und Maximiliane Weishäupl in Zusammenarbeit mit Evangelos Karatsiolis, Franziskus Kiefer, Mirjam Loiero und Christian Tobias…
Das Paper “Complementable Normal Form of Parametrized Automata” von Franziska Alber und Philipp Rümmer wurde bei CIAA 2025 angenommen. Die Konferenz findet vom 22. bis 25. September in Palermo statt.
Das Paper “A New Approach for Showing Termination of Parameterized Transition Systems” von Roland Herrmann und Philipp Rümmer wurde bei CIAA 2025 angenommen. Die Konferenz findet vom 22. bis 25.…
Zafer Esen hat seine Doktorarbeit mit dem Titel "Transformations for Verifying Programs with Heap-Allocated Data Structures" erfolgreich verteidigt. Herzlichen Glückwunsch!
Damit unsere Website technisch funktioniert, verwenden wir dafür erforderliche Cookies. Außerdem ermöglichen optionale Cookies eine bestmögliche Nutzung der Seite. Mit einem Häkchen geben Sie Ihr Einverständnis. Sie können jederzeit widerrufen. Mehr Infos dazu in unserer Datenschutzerklärung.