University Assistant, MSc Institute of Logic and Computation Formal Methods in Systems EngineeringTU Wien Favoritenstraße 9–11 1040 Wien, Austria Room: HE0319 Email: ta.ca.neiwutnull@ltxes.nairolf Website: https://firefighterduck.de/ 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.