Stefan Liu, M.Sc.

Stefan Liu is currently research assistant and PhD student under the supervision of Prof. Dr.-Ing. Matthias Althoff. He holds a bachelor's degree in Mechatronics and a master's degree in Robotics, Cognition, Intelligence from the Technical University of Munich (TUM).

Picture of Boson Stefan Liu

Boson Stefan Liu, M.Sc.

Institute of Informatics

Postal address

Boltzmannstr. 3
85748 Garching b. München

Research interest

  • Safety of human-robot-interaction
  • Formal verification of hybrid systems

Further interest: modular robotics, reachability analysis, human-robot collaboration, mobile robots, control theory, modelling & simulation

Currently, Stefan Liu is involved in the following research projects:

Offered Theses

Please contact me (email or visit my office) if you are interested in one of the offered topics. If none of them suit your interest, but you are anyway interested in my research area, you are also welcome to contact me.


SS 2018

- Master-Praktikum (10 ECTS) Building a modular robot

WS 2017/18

- Master-Praktikum (10 ECTS) Building a modular robot
- Seminar (4 ECTS) Cyber-physical systems



  • Wagner, M.; Liu, S. B.; Giusti, A.; Althoff, M.: Interval-Arithmetic-Based Trajectory Scaling and Collision Detection for Robots with Uncertain Dynamics. Proc. of the IEEE International Conference on Robotic Computing, 2018 more… BibTeX Full text (mediaTUM)


  • Liu, S. B.; Roehm, H.; Heinzemann, C.; Lütkebohle, I.; Oehlerking, J.; Althoff, M.: Provably Safe Motion of Mobile Robots in Human Environments. Proc. of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2017 more… BibTeX Full text ( DOI ) Full text (mediaTUM)