Dr. -Ing. Zengjie Zhang

I am a postdoctoral researcher at Eindhoven University of Technology, Eindhoven, the Netherlands. I obtained my Ph.D. (Dr.-Ing.) degree at the Department of Electrical and Computer Engineering, Technical University of Munich, Germany, in 2021. I have been working as a postdoctoral researcher at the University of British Columbia, Canada, from 2021 to 2022. My research interests include formal control of multi-agent systems, formal artificial intelligence (AI) methods, and adaptive robotic systems. I am currently mainly focusing on using AI-powered technologies to facilitate the efficiency and scalability of formal control methods for large-scale multi-agent systems and cyber-physical systems.