Alexandre Bartel







Welcome to my home page!

Alexandre Bartel I am an Assistant Professor in software engineering at the University of Copenhagen in the Department of Computer Science's Software, Data, People & Society (SDPS) Section.
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.

February 2021: We have two openings for post-doc positions in software engineering and/or software security. Contact me to know more!

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