Researcher

Alessandro Abate

Alessandro Abate is Lead Scientific Adviser to the European Commission's AI Office and Professor of Verification and Control at Oxford. Born in Milan in 1978 and raised in Padua, he studied electrical engineering at Padua and UC Berkeley before research and teaching roles at SRI International, Stanford, TU Delft, and Oxford. His work includes probabilistic verification software, reinforcement learning, and methods for evaluating AI deployment safety. He became an IEEE Fellow in 2024 and joined the European Commission's AI Act Scientific Panel as an ELLIS Fellow in 2026.

Works
548
Citations
6,485
h-index
41
Badges

Publication numbers from OpenAlex, as of 18 October 2026.

Timeline

  1. 1978–2007

    From Padua to Berkeley

    Born in Milan in 1978 and raised in Padua, he earns an electrical engineering Laurea from the University of Padua in 2002. He completes an MS in 2004 and a PhD in 2007 in electrical engineering and computer sciences at UC Berkeley.

  2. 2007–2013

    Postdoc and faculty appointments

    Earlier in his career, he works at Stanford and SRI International. From June 2009 to mid-2013, he serves as an assistant professor at TU Delft; in mid-2013, he joins Oxford as a University Lecturer.

  3. 2012–2017

    VeriSiMPL and model checking

    In summer 2012, he and D. Adzkiya release VeriSiMPL, software for verification via bisimulations of Max-Plus Linear Models. In 2017, he co-authors a paper on quantitative model checking of controlled discrete-time Markov processes.

  4. 2023–2024

    AAAI award and IEEE Fellowship

    In 2023, he and Joar Skalse co-author "Misspecification in Inverse Reinforcement Learning," which wins AAAI's Outstanding Paper Award. In 2024, he becomes an IEEE Fellow for contributions to verification and control of stochastic hybrid systems.

  5. 2024

    AI deployment work at ICML

    In 2024, his Oxford Control and Verification group presents "Games for AI-Control: Models of Safety Evaluations of AI Deployment Protocols" at ICML24's TiFA workshop.

  6. June 2026

    Joining the AI Act panel

    In June 2026, the European Commission appoints him to its AI Act Scientific Panel as an independent expert. ELLIS lists him as a Fellow at the University of Oxford.

  7. Since August 2026

    Lead Scientific Adviser

    He becomes Lead Scientific Adviser to the European Commission's AI Office and supports its scientific assessment of general-purpose AI models, innovation, testing, and evaluation. He is Professor of Verification and Control in Oxford's Department of Computer Science.

Career

  1. Since 2026European UnionIndependent expert
  2. Since 2013University of OxfordUniversity Lecturer
  3. 2017–2020Institut Teknologi Sepuluh Nopember
  4. 2009–2013Delft University of TechnologyAssistant Professor
  5. 2008–2011Stanford University

Education

  1. 2007University of California, BerkeleyPhD
  2. 2004University of California, BerkeleyMS
  3. 2002University of PaduaElectrical engineering Laurea

Most-cited works

  1. Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems2008 · Automatica · 442 citations
  2. Approximate Model Checking of Stochastic Hybrid Systems2010 · European Journal of Control · 181 citationsWith Joost-Pieter Katoen
  3. Symbolic Control of Stochastic Systems via Approximately Bisimilar Finite Abstractions2014 · IEEE Transactions on Automatic Control · 156 citations
  4. Exponential stabilization of discrete-time switched linear systems2009 · Automatica · 139 citations
  5. Formal Synthesis of Lyapunov Neural Networks2020 · IEEE Control Systems Letters · 131 citations

Sources and credits

Photo: We have no published photo of Alessandro Abate yet. Send us a free-licensed photo.

  1. Alessandro Abate | IEEE Control Systems Society ieeecss.org. Checked 18 October 2026.
  2. Alessandro Abate cs.ox.ac.uk. Checked 18 October 2026.
  3. Alessandro Abate | Department of Computer Science cs.ox.ac.uk. Checked 18 October 2026.
  4. Alessandro Abate - Selected Publications cs.ox.ac.uk. Checked 18 October 2026.
  5. Welcome to OXCAV | Oxford Control and Verification oxcav.cs.ox.ac.uk. Checked 18 October 2026.
  6. IEEE Fellowship awarded to Department of Computer Science Professor cs.ox.ac.uk. Checked 18 October 2026.
  7. 10 ELLIS Researchers Appointed to the AI Act Scientific Panel ellis.eu. Checked 18 October 2026.
  8. Alessandro Abate appointed Lead Scientific Advisor at The AI Office cs.ox.ac.uk. Checked 18 October 2026.