Stefan Liu, M.Sc.

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

Boson Stefan Liu, M.Sc.

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

Postal address

Boltzmannstr. 3
85748 Garching b. München

Research interest

  • Formal methods in robotics
  • Safety of human-robot interaction
  • Model identification and conformance checking

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

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

Offered Theses

The following theses topics are recommended especially towards students of Robotics, Cognition, Intelligence; Informatics; Mechanical engineering; Electrical engineering.

  • [MA]: Safe motion planning for human-robot interaction through temporal logic (contact:

Teaching assistant

  • Cyber-Physical Systems (IN2305); since SS 2018
  • Formal Methods for Cyber-Physical Systems (IN2383); since WS 2020/21
  • Seminar Cyber-physical Systems; since WS 2017/18
  • Master-Praktikum Building a modular robot; since WS 2017/18