University of Oxford Logo University of OxfordDepartment of Computer Science - Home
On Facebook
Follow us on twitter
Linked in
Linked in
Google plus
Google plus
Stumble Upon
Stumble Upon

Alessandro Abate

Personal photo - Alessandro Abate
Alessandro Abate
Associate Professor
+44 (0) 18656 10767

Room 427, Wolfson Building, Parks Road, Oxford OX1 3QD


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 the life sciences and in cyber-physical systems (particularly involving energy and power networks). 


I am an Associate Professor in the Department of Computer Science at the University of Oxford. I received a Laurea degree in Electrical Engineering (summa cum laude) in October 2002 from the University of Padova. As an undergraduate I also studied at UC Berkeley and RWTH Aachen. I earned an MS in May 2004 and a PhD in December 2007, both in Electrical Engineering and Computer Sciences, at UC Berkeley, working on Systems and Control Theory with S. Sastry. Meanwhile I was an International Fellow in the CS Lab at SRI International in Menlo Park (CA). Thereafter, I have been a PostDoctoral Researcher at Stanford University, in the Department of Aeronautics and Astronautics, working with C. Tomlin on Systems Biology in affiliation with the Stanford School of Medicine. From June 2009 to mid 2013 I have been an Assistant Professor at the Delft Center for Systems and Control, TU Delft - Delft University of Technology, working with my research group on Verification and Synthesis over complex systems and on Systems Biology. 


Research and Teaching - personal webpage,

Recent News


Fully Funded Doctoral Studentship in Machine Learning Approaches in Verification and Control

The Systems Verification Research Group is offering one fully funded DPhil studentship

More Details...


Fully Funded Doctoral Studentship: Aggregation of large populations of Markov models - verification, control, and applications on the power grid

Aggregation of large populations of Markov models - verification, control, and applications on the power grid

More Details...

Selected Publications

View all

Manage publications

A Mathematical Model to Study the Dynamics of Epithelial Cellular Networks

A. Abate‚ S. Vincent‚ R. Dobbe‚ A. Silletti‚ N. Master‚ J. Axelrod and C. Tomlin

In IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB). Vol. 9. Pages 1607−1620. 2012.

Approximate Model Checking of Stochastic Hybrid Systems

A. Abate‚ J.P. Katoen‚ J. Lygeros and M. Prandini

In European Journal of Control. Vol. 16. No. 6. Pages 624−641. 2010.

Exponential Stabilizaiton of Discrete−time Switched Linear Systems

W. Zhang‚ A. Abate‚ J. Hu and M.P. Vitus

In Automatica. Vol. 45. No. 11. Pages 2526−2536. 2009.




Current Student