

Bingzhuo Zhong, Dr. rer. nat. (钟秉灼)
Postdoctoral Researcher
Advisors: Prof. Dr. Murat Arcak in UC Berkeley & Prof. Dr. Majid Zamani in CU Boulder
Department of Computer Science, CU Boulder
Department of Electrical Engineering and Computer Science, UC Berkeley
Here are my profiles on Google Scholar, Research Gate, and LinkedIn.
Research Interest
Safety and security of Cyber-Physical Systems
Sandboxing controllers for trustworthy artificial intelligence
Formal verification and synthesis of (stochastic) hybrid systems
Data-driven control
Digital twin and smart control engineering
Education
Dr. rer. nat. in Computer Science (Summa cum laude), Technical University of Munich, Germany, November 2018 - July 2023 (Advisors: Prof. Dr. Marco Caccamo and Prof. Dr. Majid Zamani)
M.Sc. in Mechanical Engineering, Technical University of Munich, Germany, October 2016 - October 2018
B.E. in Vehicle Engineering, Tongji University, China, September 2012 - July 2016
Graduated from Zhixin High School, Guangzhou, China, in 2012
Biography
Postdoctoral Researcher, Department of Electrical Engineering and Computer Science, UC Berkeley, and Department of Computer Science, CU Boulder, October 2023 - now
Research Associate, Chair of Cyber-Physical Systems in Production Engineering, Technical University of Munich, November 2018 - September 2023
Visiting Researcher, Department of Electrical Engineering and Computer Science, University of California, Berkeley, January 2023 - April 2023
Research Assistant, Chair of Automation and Information Systems, Technical University of Munich, October 2017 - May 2018
Contact
Email: bingzhuo(dot)zhong(at)berkeley(dot)edu

since July 2022.