I am a Ph.D. student at the chair of Prof. Holger Hermanns since June 2022.
My research interests revolve around the quantitative verification of Markov chains and Markov decision processes, particularly at the interface between these models and the domain of dynamical systems.
Publications
| Year | Publication |
|---|---|
| 2026 | Lena Becker, Holger Hermanns: Stability Checking of Markov Jump Linear Systems via Probabilistic Temporal Logic QEST 2026, Extended Version (🔓) |
Teaching Experience
Teaching Assistant
| 2025 | Teaching Assistant for Programming 1 |
| 2022 | Teaching Assistant for Programming 1 |
Student TA
| 2021 | Background Helper for “Mathematik-Vorkurs” (Mathematics Preparatory Course) |
| 2020 | Student TA for “Nebenläufige Programmierung” (Concurrent Programming) |
| 2020 | Background Helper for “Mathematik-Vorkurs” (Mathematics Preparatory Course) |
| 2019 | Supervision Student TA for “Programmierung 1” (Programming 1) |
| 2019 | Lecturer and Coach for “Mathematik-Vorkurs” (Mathematics Preparatory Course) |
| 2018 | Student TA for “Programmierung 1” (Programming 1) |
| 2018 | Student TA for “Mathematik-Vorkurs” (Mathematics Preparatory Course) |
Contact
| Address: | Campus Saarbrücken, 66123 Saarbrücken |
| Location: | Building E1 3, Room 532 |
| Phone: | +49 681 302 5610 |
| E-mail: | becker@depend.uni-saarland.de |