Welcome to Michael's home page.


I am head of the Informatics Theory Group. Here is a brief summary of my teaching and research interests: