I am a PhD student in Maria Christakis' Rigorous Software Engineering Group at TU Wien. Previously, I worked as software architect in the innovation department of Alturos AG.

Research Interests: Program Analysis & Verification, Software Reliability, Mathematical Optimization.

Theses

Validating Solidity Compilers via Assertion-Driven Metamorphic Testing. Diploma thesis
advised by Maria Christakis. Institure for Information Systems Engineering, TU Wien, Austria, March 2026.

Posts