Home

Senior Lecturer, Middlesex University London
Privatdozent, Technische Universität Berlin TUB

My research interests are security, verification, and formal methods. 
I'm a member of the Foundations of Computing group at Middlesex University London.

My news, resources, and my papers
Subpages (3): cv and papers News resources