Felix Nikolas Gigler

About

My research spans formal methods and autonomous systems. Recent and ongoing work includes uniform sampling of Timed Regular Expressions for test case generation and scenario-based testing of automated vehicles. I am currently exploring how large language models can support interactive theorem proving in Lean 4, with cyber-physical systems as the application domain. Earlier on, I worked on epidemiological modeling and simulation. I have co-authored peer-reviewed publications in verification & validation and in simulation. Coming from a background in pure mathematics, I still have a soft spot for algebra.