Florian Sextl

University Assistant, MSc
Institute of Logic and Computation
Formal Methods in Systems Engineering

TU Wien
Favoritenstraße 9–11
1040 Wien, Austria

Room: HA0305
Email: ta.ca.neiwutnull@ltxes.nairolf
Website: https://informatics.tuwien.ac.at/people/florian-sextl


Research Interests
Progam Verification and Analysis, Separation Logic, the Semantics of/formal Methods for the Rust Language, Interactive Theorem Provers (primarily Isabelle) and Type Theory

Current Position
I am a PhD student in the Doctoral College Logics for Computer Science at TU Wien (LogiCS@TUWien) that is co-funded by the EC H2020 Marie Skłodowska-Curie COFUND, where I am part of the Formal Methods in Systems Engineering (FORSYTE) group. I have started my PhD in September 2022 under the supervision of Associate Prof. Florian Zuleger.

MSc in Informatics at TU Munich, 2022
BSc in Informatics at TU Munich, 2020

For an up-to-date list of publications, please visit TU Wien Informatics | Florian Sextl.