Andrea Peruffo

Andrea Peruffo is a research fellow at TNO-ESI. He received his BSc and MSc (cum laude) in automation engineering from the University of Padova, Italy, and the D.Phil. degree in computer science from the University of Oxford, UK. In 2016, he was a research engineer with Inria Rennes, France. In 2020, he was a visiting researcher at NII Tokyo, Japan. Moreover, he worked as a postdoctoral researcher with the Delft Center for Systems and Control. His research interests include hybrid systems, formal verification and control theory.