Hi there, and welcome to the front page of my website! As the page/tab title suggests, my name is Matthias Meijers. I am a third-year doctoral candidate (i.e., PhD student) under the supervision of Andreas Hülsing at the Eindhoven University of Technology (TU/e). Using a single short phrase, I would describe my research as the formal verification of post-quantum cryptography. Using slightly more words and regular English, I would describe my research as making sure (with the help of computers) that the techniques we (want to) use to secure our data actually provide the desired levels of security, even when considering a potential future where attackers have access to so-called quantum computers (a type of computer that is a lot better at performing certain tasks, such as breaking some ubiquitous contemporary techniques for securing our data, than regular computers).

Beyond this research, I am involved in several projects. At the moment, these projects are mainly aimed at making the type of analysis I use in my research more accessible.

If you want to reach out to me but don’t know how, please refer to my contact page.