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 424, 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 (particularly involving energy networks) and in 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

Current Postdoc

Past Students

Dario Cattaruzza
Nathalie Cauchi
Francesco Cosentino
(The Alan Turing Institute)
Elizabeth Polgreen

Past Postdocs

Kendra Lesser