Welcome to my home page!
I am a Professor
in the
Department of Computing Science
at
UmeƄ University.
My research interests are in the area of software engineering and computer security.
I study existing software layers from a security point of view and design efficient algorithms to verify security properties.
My current research focuses on system security and on the analysis of permission-based software stacks such as Android.