Welcome to my home page!
I am a Professor
Department of Computing Science
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.