About Me

Hi there! I’m Matthias, a fourth-year PhD student at Eindhoven University of Technology (TU/e), supervised by Andreas Hülsing. My research focuses on the formal verification of post-quantum cryptography. In simple terms, I use computers to verify that the methods we (want to) use for securing our data are actually secure, both now and when quantum computers become a reality. Quantum computers are much better at certain tasks than classical computers, like breaking specific contemporary methods of securing data. Therefore, it’s crucial to develop and transition to quantum-resistant solutions. Ensuring that these solutions are truly secure is a critical part of the process, and that’s what I focus on.

In my third year, I spent six months as a research resident at SandboxAQ, working under Deirdre Connolly. During that time, I continued exploring topics related to my PhD research while also collaborating with various teams to enhance and expand cryptographic content in AQtive Guard, an enterprise-level cryptography management solution.

Outside of my research, I’m involved in several projects, most of which are aimed at making the tools I use more accessible to others.

In my spare time, I enjoy a variety of things, including tinkering with computers/keyboards, weightlifting, running, playing video games and chess, attending music festivals, and spending time with loved ones.

If you’d like to get in touch, my contact information is available on the contact page.