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
Jens Knoop
(E194-05)
Projektmitarbeiter_innen
Nahla El-Araby
(E194-05)
Eva Kühn
(E194-05)
Ewa Vesely
(E194-05)
Institut
E194-05 - Forschungsbereich Compilers and Languages
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
Publikationsliste