Home

Associate Professor, 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 GitHub site, some old resources and my papers

Subpages (3): cv and papers News resources