Please wait...
Please wait...
Deutsch
Help
Login
Research Portal
Portal
Search
Research Profile
Research Projects
Project authority
Lehre
Forschung
Organisation
Person profile
Assistant Prof. Dipl.-Ing.in Dr.in techn.
Katalin Fazekas
Phone
+43 1 58801 18409
E-Mail
katalin.fazekas@tuwien.ac.at
Assigned
E192-04
Research Unit of Formal Methods in Systems Engineering
E056-26
Service Unit of Automated Reasoning
Business Card
https://orcid.org/0000-0002-0497-3059
Affiliations
Keywords
Research area
Name
Management/Member
Service Unit of Automated Reasoning
Member
Research Unit of Formal Methods in Systems Engineering
Member
Keywords
Keyword (German)
Keyword (English)
Automated Reasoning
Automated Reasoning
Software Verifikation
Software Verification
Formale Verifikation
Formal verification
Formal Methods
Formal Methods
Area of expertise according to Statistik Austria
Code
Area of expertise (German)
Area of expertise (English)
1122
Artificial Intelligence
Artificial intelligence
1111
Logik
Logic
1108
Informatik
Informatics
1141
Symbolic Computation
Symbolic computation
