Skip to main content

Alessandro Abate

Personal photo - Alessandro Abate

Professor Alessandro Abate

Professor of Verification and Control

E: firstname.lastname@cs.ox.ac.uk
T: +44 (0) 18656 10767

Room 340, Wolfson Building, Parks Road, Oxford OX1 3QD
United Kingdom

Interests

My research interests lie on the analysis, verification, and optimal control of heterogeneous and complex dynamical models -- in particular of stochastic hybrid systems -- and in their applications in cyber-physical systems (smart energy and safety-critical autonomy), and modelling for the life sciences (systems biology). I am interested in a principled integration of model-based mathematical techniques with data-driven learning algorithms.  

Biography

I am Professor of Verification and Control in the Department of Computer Science at the University of Oxford. Earlier, I did research at Stanford University and at SRI International, and was an Assistant Professor at the Delft Center for Systems and Control, TU Delft. I received a Laurea degree from the University of Padova and MS/PhD at UC Berkeley.  

Selected Publications

View AllManage publications

Activities

Current Students

Past Students

Joe Brown
Dario Cattaruzza
Nathalie Cauchi
Francesco Cosentino
(The Alan Turing Institute)
Gareth Molyneux
Muhammad Syifa'ul Mufid
Andrea Peruffo
Elizabeth Polgreen
Timothy Seabrook

Past Researchers

Mirco Giacobbe
Research Associate
Hosein Hasanbeig
Yongchao Huang
Kendra Lesser
Licio Romao
Stella  Simic
Sadegh Soudjani
Research Assistant