Leon Wehmeier

Leon Wehmeier
Mail: wehmeier@ovgu.de
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