| 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. |
| 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. |