Mark Wetzlinger joined the Cyber-Physical Systems Group as a Research Assistant and PhD candidate under the supervision of Prof. Dr.-Ing. Matthias Althoff in 2019. He received his bachelor’s degree in Engineering Sciences in 2017 and his master’s degree in Robotics, Cognition, Intelligence in 2019. His research focuses on formal verification and reachability analysis. He is a member of the DFG Research Training Group on Continuous Verification of Cyber-Physical Systems (ConVeY).