Alessandro Abate is a Guest Professor at TUW

A series of guest lectures on Advanced Topics in Verification and Synthesis for AI-Enabled Cyber-Physical Systems will be held at TU Wien from October 13 to 24.

2025-09-26

Alessandro Abate is Professor of Verification and Control in the Department of Computer Science at the University of Oxford. He previously conducted research at Stanford University and SRI International, and served as an Assistant Professor at the Delft Center for Systems and Control, TU Delft. He holds a Laurea from the University of Padova and an MS/PhD from UC Berkeley. His research focuses on the analysis, verification, and optimal control of heterogeneous, complex dynamical systems — particularly stochastic hybrid systems — with applications to cyber-physical systems (smart energy, safety-critical autonomy) and to the life sciences (systems biology). He is especially interested in principled integrations of model-based mathematical methods with data-driven learning algorithms.

Prof. Alessandro Abate will deliver a series of guest lectures at TU Wien on advanced verification and synthesis for AI-enabled cyber-physical systems. The series will introduce probabilistic model checking and logics, cover advanced modelling for CPS, and present verification and synthesis techniques grounded in formal abstractions, proof rules, and certificates. Emphasis will be placed on both model — based and data-driven (sample-based) approaches, with applications drawn from modern safety-critical CPS. The lectures will also address uncertainty in models — especially when AI components are involved — and discuss how to interface model-based and data-driven methods for verification and control.