Alessandro Abate
Professor Alessandro Abate
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
-
Automated formal synthesis of provably safe digital controllers for continuous plants
Alessandro Abate‚ Iury Bessa‚ Lucas Cordeiro‚ Cristina David‚ Pascal Kesseli‚ Daniel Kroening and Elizabeth Polgreen
In Acta Informatica. December, 2019.
Details about Automated formal synthesis of provably safe digital controllers for continuous plants | BibTeX data for Automated formal synthesis of provably safe digital controllers for continuous plants | DOI (10.1007/s00236-019-00359-1)
-
Data−efficient Verification of Parametric Markov Chains
A. Abate E. Polgreen V. Wijesuriya S. Haesaert
In Quantitative Evaluation of SysTems (QEST). 2016.
Details about Data−efficient Verification of Parametric Markov Chains | BibTeX data for Data−efficient Verification of Parametric Markov Chains | DOI (10.1007/978-3-319-43425-4_3)
-
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.
Details about A Mathematical Model to Study the Dynamics of Epithelial Cellular Networks | BibTeX data for A Mathematical Model to Study the Dynamics of Epithelial Cellular Networks | DOI (10.1109/TCBB.2012.126) | Link to A Mathematical Model to Study the Dynamics of Epithelial Cellular Networks
Activities
- Verification
- Software Model Checking
- Probabilistic Verification for Systems Biology
- Machine Learning Systems
- Quantitative Analysis and Verification
- Probabilistic Model Checking