PhD student
University of Saarland
Lena Becker is currently a research assistant and PhD student under the supervision of Prof. Holger Hermanns at Saarland University. She received her B.Sc. in Computer Science at Saarland University in 2020 and has been a member of the Saarbrücken Graduate School of Computer Science since then. Her research interests include the verification of probabilistic systems, and her research currently focuses on intersecting this with dynamical systems.