Skip to main content
Alessandro Abate
Professor of Verification and Control, Department of Computer Science, University of Oxford
