About me

I am a PhD student with the Formal System Analysis group at Eindhoven University of Technology, The Netherlands. I started my project, Verifying concurrent protocols under weak consistency models, in October 2023 under supervision of Bas Luttik. My research focuses on analysing mutual exclusion algorithms through formal verification using the mCRL2 toolset. Specifically, I investigate the impact of weak or unreliable memory, for instance through non-atomic registers. I have also looked into how to incorporate completeness criteria such as weak fairness in modal μ-calculus formulas.

I am involved with the Bachelor's courses Logic and Set Theory, Automata and Formal Languages, and Process Theory.
I also serve as the contact person for the FSA Colloquium.

Contact

Email: m dot s dot c dot spronck at tue dot nl
Office: MF 6.144
GitHub: MSpronck
ORCID: 0000-0003-2909-7515
DBLP: Linked here