-A A +A

Control and Verification Group - University of Oxford

The Oxford Control and Verification (OXCAV) group is part of the Department of Computer Science at the University of Oxford, and is led by Prof. Alessandro Abate.

Our research interests lie in the formal verification and optimal control of heterogeneous and complex dynamical models, built from first principles or learnt from data. We are particularly interested in the analysis of stochastic hybrid systems, and their broad application in cyber-physical systems (smart energy) and in the life sciences (systems biology).

Our research interests include: 

  • Stochastic Hybrid Systems

  • Probabilistic Model Checking

  • Automated Verification

  • Program Synthesis

  • Learning and Verification

  • Max-plus Linear Systems


CONTACT US

Department of Computer Science

Wolfson Building, Parks Rd, Oxford OX1 3QD

T: +44 (0) 18656 10767

 

Education - This is a contributing Drupal Theme
Design by WeebPal.