Tommaso Zaccherini

Abstract I am a PhD Candidate at the KTH Royal Institute of Technology, affiliated with the Wallenberg AI, Autonomous Systems and Software Program (WASP). I received my B.Sc. and M.Sc. degrees in Automation Engineering from the University of Bologna, Italy, in 2021 and 2024, respectively. During my Bachelor’s studies, I was awarded a scholarship for a double-degree program with Tongji University in Shanghai, China, where I obtained a second B.Sc. degree in 2022. From September 2023 to February 2024, I worked as a research intern in the Control for Autonomy team at Mitsubishi Electric Research Laboratories (MERL) in Cambridge, Massachusetts. My main research interests are in formal methods, planning and control of multi-agent systems, graph theory, estimation, and robotics.