Bitte warten...
Bitte warten...
English
Hilfe
Login
Forschungsportal
Portal
Suche
Forschungsprofile
Forschungsprojekte
Projektvollmacht
Lehre
Forschung
Organisation
Personenprofil
Univ.Ass.
Anton Varonka
MSc
Telefon
E-Mail
anton.varonka@tuwien.ac.at
Zugeordnet
E192-04
Forschungsbereich Formal Methods in Systems Engineering
E056-13
Fachbereich LogiCS
Visitenkarte
https://orcid.org/0000-0001-5758-0657
Zugehörigkeit
Keywords
Auszeichnungen
Forschungsbereich
Name
Leitung/Mitglied
Forschungsbereich Formal Methods in Systems Engineering
Mitglied
Fachbereich LogiCS
Mitglied
Schlagwörter
Schlagwort (Deutsch)
Schlagwort (Englisch)
Programmanalyse
program analysis
Computer Algebra
computer algebra
Automated Reasoning
Automated Reasoning
Formale Methoden
Formal Methods
Logik in der Informatik
logic in computer science
Internationale Auszeichnungen
Verleihende Organisation
Land
Programm
Funktion
Name
Von
Bis
Webseite
Projekt ID
European Association for Theoretical Computer Science
Polen
Best MFCS student paper
28.08.2025
https://mfcs2025.mimuw.edu.pl
