Research
Latest news: I'm working on updating this page! It should be complete by July 8th, at the very latest.
In the mean time, I'm also applying some modifications to a paper about the modelling
and simulation based engineering of a fault-tolerant system. The project was built as part of the
Modelling & Simulation course. The
original proposal and
project report (in .pdf format) are available online.
This techinical paper has been accepted for the MoDELS 2005 conference, and has not yet been published.
Technically, I have not begun my thesis yet, but I am looking into cryptography and digital credentials
as a first step to working on the Modelling and Simulation of Electronic Identity infrastructures (ADAPID project).
