About me

I am a recent PhD graduate in Computer Science from Aarhus University. My research focuses on proof assistants, modal type theories and programming language semantics in guarded type theory. These areas reflect my deep interest in the interplay between theoretical computer science and formal reasoning tools.

While my doctoral work was housed in the Computer Science Department, my academic foundation lies in mathematics. As a seasoned mathematician, my interests span logic, probability theory, category theory, algorithms and their applications in computer science.

This blend of computer science and mathematics positions me at the intersection of theory and application. Whether it's designing semantic frameworks or exploring the mathematical foundations of computation, I am passionate about contributing to the rigorous development of the field.

Have a look at my CV for more details.