Felix Gigler

PhD Candidate, TU Wien

Junior Scientist, AIT

Vienna, Austria

I am a PhD candidate in Automated Reasoning at TU Wien, in collaboration with the AIT Austrian Institute of Technology, where I also work as a Junior Scientist.

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.

Right now I am 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, and 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.

Have a look at my publications, the projects and code behind them, or a few papers I have enjoyed on my reading list. Feel free to reach out — links below.

PhD candidate in Automated Reasoning at TU Wien and AIT, working on formal methods and autonomous systems.

Recent work: uniform sampling of Timed Regular Expressions for test generation, and scenario-based testing of automated vehicles. Currently exploring how large language models can support theorem proving in Lean 4.

Publications · Projects · Reading list

news

Jun 26, 2026	Our paper Uniform Sampling for Timed Regular Expressions was accepted at EMSOFT 2026 (part of ESWEEK).
May 10, 2026	Attended HSCC (Hybrid Systems: Computation and Control) at CPS Week in Saint-Malo, France, and presented our paper Declarative Scenario-based Testing with RoadLogic (arXiv; to appear in the HSCC proceedings). The paper was nominated for the Best Paper Award in the Systems and Applications track.
Aug 11, 2025	Attended the VeTSS Summer School 2025 (Verified Trustworthy Software Systems) at the Advanced Research Centre (ARC), University of Glasgow.
Mar 15, 2025	Defended my Master's thesis
Jul 27, 2022	Presented our network-based analysis of contact tracing at MATHMOD 2022 in Vienna.

Show 3 older entries

Jun 20, 2022	Attended the CPS Summer School in Pula, Sardinia, and won the Best Creative Lab Idea Award for pitching RAVYOLO, our real-time automotive virtualization concept.
Dec 15, 2021	Completed my BSc in Technical Mathematics at TU Wien.
Nov 20, 2021	Presented our work on sampling shape expressions (ShapEx) at MEMOCODE 2021.

selected publications

Uniform Sampling for Timed Regular Expressions

Benoît Barbot, Ezio Bartocci, Nicolas Basset, Thao Dang, Felix Gigler, and Dejan Ničković

In International Conference on Embedded Software (EMSOFT), Sep 2026

Accepted for presentation; to appear.

Bib Code

@inproceedings{gigler2026uniformsamplingtre,
  title = {Uniform Sampling for Timed Regular Expressions},
  author = {Barbot, Beno\{i}t and Bartocci, Ezio and Basset, Nicolas and Dang, Thao and Gigler, Felix and Ni\v{c}kovi\'{c}, Dejan},
  booktitle = {International Conference on Embedded Software (EMSOFT)},
  year = {2026},
  month = sep,
  note = {Accepted for presentation; to appear.},
}

CONFERENCE · EMSOFT

Declarative Scenario-based Testing with RoadLogic

Ezio Bartocci, Alessio Gambi, Felix Gigler, Cristinel Mateis, and Dejan Ničković

May 2026

Presented at HSCC 2026, Saint-Malo, France. To appear in the proceedings.

Best Paper Nominee arXiv Bib Code

Nominated for the Best Paper Award in the Systems and Applications track at HSCC 2026 (CPS Week, Saint-Malo).

@misc{bartocci2026declarativescenariobasedtestingroadlogic,
  title = {Declarative Scenario-based Testing with RoadLogic},
  author = {Bartocci, Ezio and Gambi, Alessio and Gigler, Felix and Mateis, Cristinel and Ničković, Dejan},
  year = {2026},
  archiveprefix = {arXiv},
  primaryclass = {cs.SE},
  url = {https://arxiv.org/abs/2603.09455},
  month = may,
  note = {Presented at HSCC 2026, Saint-Malo, France. To appear in the proceedings.},
}

CONFERENCE · HSCC

Mining Shape Expressions From Positive Examples

Ezio Bartocci, Jyotirmoy Deshmukh, Felix Gigler, Cristinel Mateis, Dejan Ničković, and Xin Qin

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2020

DOI Bib HTML

@article{bartocci2020miningse,
  author = {Bartocci, Ezio and Deshmukh, Jyotirmoy and Gigler, Felix and Mateis, Cristinel and Ničković, Dejan and Qin, Xin},
  journal = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
  title = {Mining Shape Expressions From Positive Examples},
  year = {2020},
  volume = {39},
  number = {11},
  pages = {3809-3820},
  keywords = {Shape;Data mining;Learning automata;Sensors;Design automation;Integrated circuits;Noise measurement;Computational and artificial intelligence;computer science;computers and information processing;data mining;formal languages;learning automata;learning systems;pattern recognition},
  doi = {10.1109/TCAD.2020.3012240},
}

CONFERENCE · EMSOFT