Talks & Teaching
Invited Talks & Lectures
| 2025 | ACM SIGSOFT Summer School for Software Engineering in Robotics 2025, Delft, The Netherlands. Member of the core organizing team of the summer school and lecturer of a full day fundamental lecture on verification, formal methods in general, and model checking for robust robot deliberation. |
| 2025 | International Conference on Robotics and Automation (ICRA), Atlanta, GA. Invited speaker in the Fourth Workshop on Quality and Reliability Assessment of Robotic Software Architectures and Components. |
| 2024 | Dagstuhl Seminar 24361 ‘Artificial Intelligence and Formal Methods Join Forces for Reliable Autonomy’. Invited 1-hour tutorial on ‘Formal Methods & AI in Robotics & Autonomous Systems Engineering @ Bosch: CONVINCE-ing Robust Robot Deliberation and More’. |
| 2024 | ACM SIGSOFT Summer School for Software Engineering in Robotics 2024, Brussels, Belgium. Member of the core organizing team of the summer school and lecturer of a full day fundamental lecture on verification, formal methods in general, and model checking for robust robot deliberation. |
| 2024 | European Robotics Forum (ERF), Rimini. Workshop ‘Safe Adaptation for Log-term Autonomy in Human Robot Interaction’, co-organized by the CONVINCE project. |
| 2023 | International Conference on Robotics and Automation (ICRA), London, UK. Invited speaker in the Second Workshop on Quality and Reliability Assessment of Robotic Software Architectures and Components. |
Lectures
| 2022 | Teaching Assistant, Nebenläufige Programmierung, Saarland University |
| 2021 | Supportive Teaching Assistant, Nebenläufige Programmierung, Saarland University |
| 2020 | Background helper for Mathematics Precourse, Saarland University |
| 2019 | Organizer and Coach for Mathematics Precourse, Saarland University |
| 2018 | Teaching Assistant, Seminar Probabilistic Models of Concurrency, Saarland University |
| 2018 | Organizer, Lecturer, and Coach for Mathematics Precourse, Saarland University |
| 2018 | Teaching Assistant, Mathematische Grundlagen der Computerlinguistik III: Statistische Methoden, Saarland University |
| 2017 | Lecturer and Coach for Mathematics Precourse, Saarland University, received the BESTE award for student initiatives and extraordinary commitment |
| 2016 | Lecturer and Coach for Mathematics Precourse, Saarland University |
| 2016 | Student TA, Nebenläufige Programmierung, Saarland University |
| 2015 | Student TA, Grundzüge der Algorithmen und Datenstrukturen, Saarland University |
| 2014 | Student TA, Programmierung 1, Saarland University |
Theses Supervision
I am currently supervising the PhD Thesis of Matteo Palmas and was supervising the Master’s thesis of Geetansh Saxena and Moustafa Elbery at Bosch Research in the CONVINCE project.
In addition, I was involved in the supervision of Marcel Vinzent’s Bachelor’s thesis “Dead-End Pattern Databases in PRISM” and his research immersion lab “Implementing FRET/LRTDP in an explicit-state engine for JANI”, as well as in Govinda Sicheneder’s Master’s thesis “Time-bound Latency for Bluetooth Low Energy and Isochronous Channels in a Time-Critical Bicycle Application”.
ACM SIGSOFT Summer School for Software Engineering in Robotics
I was a member of the core organizing team of the summer school from 4th to 8th June 2024 in Brussels, Belgium and of the second iteration from 30th of June to 4th of July in Delft, The Netherlands. More information can be found on the school’s webpage. My tasks involved acquisition of ACM SIGSOFT funding in two individual iterations for both years. In both years I was part of the team responsible for the full organization of the event, incl. venue location, food, social activities, financial matters, etc. In addition, I gave a full day fundamental lecture on verification, formal methods in general, and model checking for robust robot deliberation, including practial hands-on sessions using state-of-the-art model checkers on robotic use cases.
Mathematics Precourse of Computer Science
The Mathematics Precourse of Computer Science at Saarland University is a four-week full-time course where ca. 30 volunteers organize daily lectures, tutorials with exercises and homework, as well as an exam to prepare students for their studies in the area of computer science at Saarland University. In this course the mathematical and logical background needed for the introductory mathematics and programming lectures are tough. In addition, social events to help the new students to get to know their fellows are organized. The team got awarded with the BeStE-Preis of Saarland University in 2017 for extraordinary student commitment.