Caltech Logo

Mechanical and Civil Engineering Seminar

Thursday, October 22, 2020
11:00am to 12:00pm
Add to Cal
Online Event
Certified learning, or learning for verification?
Alessandro Abate, Professor of Verification and Control, Department of Computer Science, University of Oxford,

*Connection details for this online presentation will be posted when available

We are witnessing an inter-disciplinary convergence between areas underpinned by model-based reasoning and by data-driven learning and AI. Original work across these areas is strongly justified by scientific endeavours and industrial applications, where access to information-rich data has to be traded off with a demand for safety criticality: cyber-physical systems are exemplar applications. 

In this talk, I will report on ongoing initiatives in this cross-disciplinary domain. According to the dual perspective in the title of this talk, I will sketch, on the one hand, results where formal methods can provide certificates to learning algorithms, and on the other hand, results where learning can bolster formal verification and strategy synthesis objectives.

For more information, please contact Mikaela Laite by phone at (626) 395-4128 or by email at mlaite@caltech.edu.