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
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).