Florian Sextl

Florian Sextl is a Research Fellow and university assistant at the Formal Methods in Systems Engineering research unit at TU Wien, where he conducts research on program verification and formal foundations of programming languages.

His work focuses on memory safety fundamentals, particularly through separation logic-based methods and the Rust programming language. Current projects explore biabduction techniques for ensuring memory safety across Rust-C foreign function interfaces and compositional shape analysis.

Sextl teaches Program Analysis courses and has supervised research on join operators for bi-abductive analysis of low-level code. He maintains expertise in interactive theorem proving with Isabelle/HOL and Rocq.