Felix Gruber joined the Cyber-Physical Systems Group as PhD candidate under the supervision of Prof. Dr.-Ing. Matthias Althoff in 2018. He received his B.Sc. and M.Sc. in Electrical and Computer Engineering from the Technical University of Munich in 2014 and 2017, respectively. Felix wrote his master’s thesis in the area of correct-by-construction controller synthesis under the supervision of Prof. Murat Arcak at the University of California, Berkeley. His current research focuses on using control theory, optimization, and reachability analysis to obtain formal guarantees for safety-critical systems. Main application areas are autonomous driving and human-robot interaction.