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.

We have mulitple open PhD positions in software engineering / software security!
Keywords: program analysis, testing, fuzzing, static analysis, dynamic analysis, reverse engineering, vulnerability, exploit mitigation, language models
Interested? Contact me!
Are you a motivated student looking for master thesis project in software engineering and/or software security? Contact me!