Beispiel 1

Allgemeines Plugin (Beispiel 1)

• DORA panel at FMA Aufsichtskonferenz

  Aktuelles | 18.10.2024

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

  

• Erstes Capture the Flag-Event am Lehrstuhl für KI in der IT-Sicherheit

  Aktuelles | 30.10.2025

  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|

  

• Erfolgreiche Promotion

  Aktuelles | 06.05.2025

  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|

  

• What’s Decidable About Arrays With Sums?

  Aktuelles | 28.04.2025

  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 im Interview zu Chancen und Risiken der künstlichen Intelligenz

  Aktuelles | 22.11.2024

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

  

• Keynote auf der DFN-CERT-Konferenz

  Aktuelles | 11.02.2025

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

  

• Impulsvortrag von Prof. Leitner im IT-Forum Oberfranken

  Aktuelles | 12.03.2025

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

  

• Erfolgreiche Promotion

  Aktuelles | 05.06.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|

  

• A New Approach for Showing Termination of Parameterized Transition Systems

  Aktuelles | 23.06.2025

  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|

  

• Complementable Normal Form of Parametrized Automata

  Aktuelles | 23.06.2025

  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|