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.

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

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