Alessandro Abate
INTRODUCTION
Alessandro Abate’s 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). He is interested in a principled integration of model-based mathematical techniques with data-driven learning algorithms. His work covers verification systems for spacecraft operations.
AREAS OF INTEREST
Verification; Software Model Checking; Machine Learning; Quantitative Analysis and Verification; Probabilistic Model Verification
RESEARCH GROUPS AND COLLABORATIONS
Oxford Control and Verification (OXCAV)
PUBLICATIONS