profile pic

Research Interest

  • Correct-by-construction controllers for Cyber-Physical Systems

  • Sandboxing controllers in safety-critical autonomous systems

  • Formal verification and synthesis of (stochastic) hybrid systems

  • Data-driven control

  • Digital twin in control



Office: MW2106
Phone: +49(89)289-55176
Email: bingzhuo(dot)zhong(at)tum(dot)de
Address: Boltzmannstraße 15, 85748 Garching b. München

Please contact me if you are interested in writing your Bachelor thesis, Semester thesis or Master thesis under my supervision.

since July 2022.