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. with distinction in 2018 and 2020 respectively.
Since November 2019, I am a software engineer, data scientist and formal methods researcher at the Chair of Software Engineering at Otto von Guericke University.
My current research and transfer projects include process mining and process optimisation, applying AI for geospatial analysis, heterogenous AI acceleration, encoding neural networks in formal system models for formal end2end verification including fault injection. I am the lead architect of our Simulink verification toolbox and work on accelerating embedded tasks with fpga-socs on the side (if time permits).
My interests include but are not limited to
- Formal Verification, particularly Model Checking and Fault Injection
- Embedded & Real-Time Systems as well as Distributed Systems
- Artificial Intelligence, in particular:
- semantic segmentation
- audio classification
- applying AI models to process optimisation and controls tasks
- 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.