Beispiel 2

Prof. Leitner in DORA panel on resilience in a digital age at FMA Aufsichtskonferenz.

Im Oktober 2025 veranstaltete der Lehrstuhl für KI in der IT-Sicherheit der Universität Regensburg sein erstes „Capture the Flag“-Event (CTF). Die...

• Informatik und Data Science|

Chencheng Liang hat ihre Doktorarbeit mit dem Titel "Learning to Guide Automated Reasoning: A GNN-Based Framework" erfolgreich verteidigt. Herzlichen...

• Informatik und Data Science|
• Auszeichnungen & Preise|

Das Paper “What’s Decidable About Arrays With Sums?” von Roland Herrmann und Philipp Rümmer wurde bei CADE-30 angenommen. Die Konferenz findet vom 28....

• Informatik und Data Science|
• Forschung|
• Publikation|

Prof. Leitner wurde in der Beilage der Mittelbayerischen Zeitung „Cluster für künstliche Intelligenz“ zu Chancen und Risiken der künstlichen...

Am 11. Februar 2025 hielt Prof. Leitner eine Keynote zum Thema “Gekommen, um zu bleiben: Cyberangriffe durch KI und die Vorbereitung darauf„ (Here to...

Prof. Leitner hielt einen Impulsvortrag zum Thema "Mit Cyber-Übungen spielerisch den Ernstfall proben" im IT-Forum Upper Franconia 2025 .

Zafer Esen hat seine Doktorarbeit mit dem Titel "Transformations for Verifying Programs with Heap-Allocated Data Structures" erfolgreich verteidigt....

• Informatik und Data Science|
• Auszeichnungen & Preise|

Das Paper “A New Approach for Showing Termination of Parameterized Transition Systems” von Roland Herrmann und Philipp Rümmer wurde bei CIAA 2025...

• Informatik und Data Science|
• Forschung|
• Publikation|

Das Paper “Complementable Normal Form of Parametrized Automata” von Franziska Alber und Philipp Rümmer wurde bei CIAA 2025 angenommen. Die Konferenz...

• Informatik und Data Science|
• Forschung|
• Publikation|