Bitte warten...
Bitte warten...
English
Hilfe
Login
Forschungsportal
Suche
Forschungsprofile
Forschungsprojekte
Projektvollmacht
Lehre
Forschung
Organisation
Formale Verifizierung tiefer neuronaler Netze für Codekonvertierungsanwendungen
01.02.2024 - 31.01.2027
Bildungs- und Hochschulmanagementprojekt
Personen
Projektleiter_in
Projektass.in Dr.in techn. Nahla El-Araby BSc MSc
(E194-05)
Projektmitarbeiter_innen
Ao.Univ.Prof.in Dipl.-Ing.in Dr.in techn. Eva Kühn
(E194-05)
Institut
E194-05 - Forschungsbereich Compilers and Languages
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