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.

Picture of Boson Stefan Liu

Boson Stefan Liu, M.Sc.

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:

  • "Entwicklung eines Modularen Robotersystems/Development of a modular robot system" (Zentraler Innovationsprogramm für den Mittelstand)
  • "faveAC: Formale Abstraktion und Verifikation analoger Schaltungen/Formal Abstraction and Verification of analog curcuits" (DFG)



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.



  • 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 mehr… BibTeX Volltext (mediaTUM)