Please wait...
Please wait...
Deutsch
Help
Login
Research Portal
Portal
Search
Research Profile
Research Projects
Project authority
Lehre
Forschung
Organisation
Person profile
Univ.Ass.
Florian Sextl
MSc
Phone
E-Mail
florian.sextl@tuwien.ac.at
Assigned
E192-04
Research Unit of Formal Methods in Systems Engineering
E056-13
Service Unit of LogiCS
Business Card
https://orcid.org/0009-0003-5839-0726
Affiliations
Keywords
Research area
Name
Management/Member
Research Unit of Formal Methods in Systems Engineering
Member
Service Unit of LogiCS
Member
Keywords
Keyword (German)
Keyword (English)
Programmverifikation
Program Verification
Automated Reasoning
Automated Reasoning
Software Verifikation
Software Verification
Formale Methoden
Formal Methods
Research Focal Areas
Research focus
Research field
Keywords
Percentage
Information and Communication Technology
Logic and Computation
No additional information is available.
100
Faculty focus
Faculty focus
Percentage
Logic andComputation
100
Area of expertise according to Statistik Austria
Code
Area of expertise (German)
Area of expertise (English)
1108
Informatik
Informatics
1111
Logik
Logic
