Current Research

RISC-V Formal Analysis

I wrote my Master thesis on information flow tracking in instruction set architectures as a follow-up to my work at Arm Security Research.

Automated Reasoning

During my studies, I was working as part of the Chair for Intelligent Systems at Leipzig University where I wrote my Bachelor thesis in theoretical computer science on abstract argumentation. This thesis turned into my first publication later.

Bachelor in Philosophy

As part of studying a Bachelor’s in philosophy, I wrote my thesis (in German) about two works of Plato: the Republic and Phaido. I investigated how the fields of ontology, normativity (or ethics), and epistemology are linked in his philosophy.

Hobby Coding

As part of my hobbies, I maintain which is a fan-made ship-builder for the space game Elite: Dangerous.