Skip to content

This webpage gathers all the information about my teaching and research, including my publications and talks. You can read about me, my professional activities, check where I am at the moment and download my CV.

News
  • Please consider submitting a paper to MFPS 2014 and APLAS 2014!
  • Prakash Panangaden and I are organizing a workshop on duality and another on probabilistic systems at the Bellairs Research Institute in March 2014.
  • Nijmegen is the only university in the Netherlands offering a Master in the Mathematical Foundations of Computer Science (MFoCS). Find out more information and consider joining/advertising it!
  • Nijmegen is the first university in the Netherlands to start a bachelor programme in Cyber Security, in sept. 2013. Find out more information (in Dutch) and consider joining! Since several years there is already an English-language master program in cyber security.
see more (old news)