Picture of Felix Gruber

Felix Gruber, M.Sc.

Technical University of Munich

Informatics 6 - Chair of Robotics, Artificial Intelligence and Real-time Systems (Prof. Knoll)

Postal address

Boltzmannstr. 3
85748 Garching b. München

Curriculum Vitæ

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.

Open Theses

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.



  • Gruber, Felix; Kim, Eric S.; Arcak, Murat: Sparsity-Aware Finite Abstraction. IEEE 56th Annual Conference on Decision and Control (CDC), 2017, 2366-2371 more… BibTeX Full text ( DOI )