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 leveraging formal verification tools based on reachability analysis. Main application areas are autonomous driving and human-robot interaction.
I am always looking for motivated students to solve interesting and challenging problems that arise in my research areas. Therefore, please do not hesitate to contact me in order to discuss possible topics tailored to your skills.