Welcome to my home page!

Alexandre Bartel 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.

Are you a motivated student looking for master thesis project in software engineering and/or software security? Contact me!