Bitte warten...
Bitte warten...
English
Hilfe
Login
Forschungsportal
Suche
Forschungsprofile
Forschungsprojekte
Projektvollmacht
Lehre
Forschung
Organisation
QuAT: Quantifiers and Arithmetic Theories are Friends with Benefits
01.05.2024 - 30.04.2025
Forschungsförderungsprojekt
Personen
Projektleiter_in
Univ.Prof.in Dr.in techn. Laura Kovacs MSc
(E192-04)
Institut
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
Förderungsmittel
Amazon Research Awards
Forschungsschwerpunkte
Information and Communication Technology