Formal Verification of Deep Neural Networks for Code Conversion applications

01.02.2024 - 31.01.2027
Bildungs- und Hochschulmanagementprojekt

Personen

Projektleiter_in

Projektmitarbeiter_innen

Institut

Grant funds

  • OeAD-GmbH - Agentur für Bildung und Internationalisierung (National) Programme Cooperation Development Research Austrian Exchange Service (OeAD)

Forschungsschwerpunkte

  • Information Systems Engineering: 30%
  • Computer Science Foundations: 50%
  • Modeling and Simulation: 20%

Externe Partner_innen

  • Nile University

Publikationen