Matthijs Melissen
This is the web page of Matthijs Melissen.
I am a PhD student in computer science at University of Luxembourg, working on Games for Modelling and Analysis of Security.
I work within the Security and Trust of Software Systems (SaToSS) research group, headed by Prof. Dr. Sjouke Mauw, and the Individual and Collective Reasoning (ICR) research group, headed by Prof. Dr. Leon van der Torre.