CV

PhD Candidate in Automated Reasoning

TU Wien

In collaboration with AIT Austrian Institute of Technology.

• Uniform sampling and volumetry for timed regular expressions.
• Declarative, scenario-based testing of autonomous driving functions.

Junior Scientist

AIT Austrian Institute of Technology

• Virtual testing strategies for autonomous vehicle controllers.
• Tooling for state-of-the-art scenario description languages (OpenSCENARIO 2.1 DSL).
• Plan synthesis with answer-set programming for scenario-based testing.

Research Intern

Université Grenoble Alpes (VERIMAG)

• Volumetry and uniform sampling algorithms for timed regular expressions.
• Implementation of VolTRE, a library for uniform sampling of TRE.

Teaching Assistant

TU Wien

• Teaching assistant for three courses on mathematical modeling and simulation.
• Developed MATLAB material on ODE solvers.
• Supervised student projects on discrete-event, agent-based and cellular-automata modeling.

Research Freelancer

AIT Austrian Institute of Technology

• Sampling strategies for shape expressions; open-source tool ShapEx.
• Formal verification research on specification languages for real-valued time series.
• Co-authored two peer-reviewed papers on shape expressions.

Research Intern

AIT Austrian Institute of Technology

• ANTLR4 parser for the specification language shape expressions.
• Prototype generating training data for a learned time-series monitor.

MSc

TU Wien

Logic and Computation

• Thesis: Uniform sampling of timed regular expressions.

Technical University of Denmark (DTU)

Exchange semester (Erasmus+)

BSc

TU Wien

Technical Mathematics

Best Paper Award Nomination

HSCC 2026, CPS Week

Nominated in the Systems and Applications track for Declarative Scenario-based Testing with RoadLogic, Saint-Malo, France.

Best Creative Lab Idea Award

CPS Summer School

Awarded for the RAVYOLO tool pitch at the Creative Lab, Pula, Sardinia.