Room: Building 29, Room G29.403
Phone: +49 391 67 57007
I’ve studied Computer Systems in Engineering at the Otto von Guericke University Magdeburg, Germany, and Advanced Computer Science at the University of St. Andrews, Scotland. I graduated with an M.Sc. in 2018 and 2020 respectively.
Since November 2019, I am a researcher at the Chair of Software Engineering.
My interests include but are not limited to
- Formal Verification, particularly Model Checking
- Embedded & Real-Time Systems as well as Distributed Systems
- Artificial Intelligence
- Mobile Robotics
If you are a student looking for interesting projects and theses in any of those areas, feel free to contact me with your ideas or check our thesis topics page.
Leon Wehmeier