TU Wien Informatics

Overview Professors Scientific Staff Administrative Staff Student Staff External Lecturers By Responsibilities By Committee By Name
Related
Guest Professors Honoraries Alumni (LinkedIn) #5qw

Felix Nikolas Gigler

Projektass.(FWF) Dipl.-Ing.

Research Areas

  • Formal Methods, Cyber-Physical Systems, Cybersecurity
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.

Role

Contact

  • Uniform sampling of timed regular expressions / Gigler, F. N. (2025). Uniform sampling of timed regular expressions [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2025.129120
    Download: PDF (1.04 MB)
  • Mining Shape Expressions from Positive Examples / Bartocci, E., Deshmukh, J., Gigler, F., Mateis, C., Nickovic, D., & Qin, X. (2020). Mining Shape Expressions from Positive Examples. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 39(11), 3809–3820. https://doi.org/10.1109/tcad.2020.3012240