My research interests lie in the areas of security, cryptography, (differential) privacy, programming languages, verification, and logic.
I am looking for post-docs to work in programming languages and verification, and their applications to privacy and cryptography. See announcement
Journals and events
From 2005 until 2009, I was the scientific coordinator the EU project