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, lead by Prof. Dr. Sjouke Mauw, and the Individual and Collective Reasoning (ICR) research group, lead by Prof. Dr. Leon van der Torre.