Stefan Liu, M.Sc.

Stefan Liu is currently a 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.

Picture of Boson Stefan Liu

Boson Stefan Liu, M.Sc.

Postal address

Boltzmannstr. 3
85748 Garching b. München

Research interest

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

Further interest: modular robotics, reachability analysis, mobile robots, control theory, modelling & simulation

Offered Thesis

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.



  • 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