Work and projects.

Stochastic conformance checking

Master's thesis in process mining, focused on stochastic conformance checking and partial trace matches.

• Worked with process models, event data, and probabilistic behavior.
• Explored ways to compare observed executions with stochastic process models.

Diagram layout algorithm

Developed a Java algorithm to make UML class diagrams easier to read by reducing crossings, bends, and diagram area.

• Applied linear optimization to reduce edge bends and overall diagram area.
• Adapted the solution to domain-specific requirements at mgm technology partners.
• Integrated the algorithm into a frontend for user-defined diagrams.

Software Engineer at mgm

Worked on an internal modeling tool using Java and TypeScript.

• Designed a validation rule to detect irregular dependencies between models.
• Worked in an agile team with sprints, stand-ups, and retrospectives.

F1 Monte Carlo simulator

Formula 1 race simulation using historical FastF1 data, driver and car ratings, track-specific behavior, pit strategy, reliability events, and weather scenarios.

• Python simulation engine with FastAPI endpoints for ratings, runs, and recent simulation history.
• Browser frontend for race setup, scenario comparison, timing tower output, and Monte Carlo statistics.

Finance manager

A full-stack application for tracking transactions, income, expenses, and summaries with a Spring Boot backend and Angular frontend.

Teaching programming

Taught Java, Haskell, and Prolog to more than 30 students, graded exams and assignments, and supported students through targeted one-on-one mentoring.