Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: nid=1311845275
![]() |
|
Link zu diesem Datensatz | https://d-nb.info/gnd/1311845275 |
Person | Sextl, Florian |
Akademischer Grad | MSc |
Geschlecht | männlich |
Quelle |
(Stand: 01.12.2023): https://tiss.tuwien.ac.at/person/369073.html (Stand: 01.12.2023): https://orcid.org/0009-0003-5839-0726 |
Land | Österreich (XA-AT) |
Geografischer Bezug | Wirkungsort: Wien |
Beruf(e) |
Wissenschaftler Informatiker |
Weitere Angaben | Universitätsassistent TU Wien Fakultät für Informatik, Institut für Logic and Computation, Forschungsbereich Formal Methods in Systems Engineering und Fachbereich LogiCS |
Beziehungen zu Organisationen | Technische Universität Wien. Fakultät für Informatik |
Typ | Person (piz) |
