Formale Verifizierung tiefer neuronaler Netze für Codekonvertierungsanwendungen

01.02.2024 - 31.01.2027
Bildungs- und Hochschulmanagementprojekt

Personen

Projektleiter_in

Projektmitarbeiter_innen

Institut

Förderungsmittel

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

Forschungsschwerpunkte

  • Computational Science and Engineering
  • Information and Communication Technology

Externe Partner_innen

  • Nile University