Formale Verifizierung tiefer neuronaler Netze für Codekonvertierungsanwendungen

01.02.2024 - 31.01.2027
Bildungs- und Hochschulmanagementprojekt

Personen

Projektleiter_in

Projektmitarbeiter_innen

Institut

Förderungmittel

  • OeAD-GmbH - Agentur für Bildung und Internationalisierung (National) Programm Kooperation Entwicklungsforschung Österreichischer Austauschdienst (ÖAD)

Forschungsschwerpunkte

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

Externe Partner_innen

  • Nile University

Publikationen