I’m a software engineer based in Switzerland. I recently completed my Master’s in Computer Science at ETH Zurich, where my thesis focused on formally verified ASN.1 encoders and decoders — generating Python code from protocol specifications and proving its correctness using Nagini.

Alongside my studies I co-developed Vulcard, a cooperative deck-building game released on Steam. Built with MonoGame in C# as part of ETH’s Game Programming Lab, it features non-turn-based combat where two players fight enemies of increasing difficulty together.