Professor Alessandro Abate

Professor of Verification and Control, Department of Computer Science


Professor Alessandro Abate's research interests lie on the formal verification, and control theory, of heterogeneous and complex dynamical models and in their applications in cyber-physical systems, particularly involving safety-critical applications, such as automotive, energy, and space.

Professor Abate blends in techniques from artificial intelligence and machine learning, such as Bayesian statistics and reinforcement learning, to empower model-based approaches from formal verification and control theory, to certify the behaviour of safety-critical systems, and to provide correct-by-design, scalable control and decision architectures for such complex systems.


  • Formal verification
  • Control engineering
  • Machine learning and artificial intelligence
  • Safety-critical systems
  • Space and automotive, autonomous driving
  • Cyber-physical systems
  • Energy systems and networks

Media experience

Professor Alessandro Abate has broadly engaged with media, mostly radio and press, both nationally (BBC, The Observer) and internationally (Financial Times, La Repubblica, Corriere della Sera).


English, Italian, German, Dutch