Uploaded February 2025 | Updated September 2026, 1 day ago
The eighth annual Wheeler Lecture took place in May 2019 when Prof Jane Hillston (professor of quantitative modelling and head of the School of Informatics, University of Edinburgh) talked about combining machine learning techniques into a formal modelling framework.
Formal methods offer rigorous techniques for reasoning about systems, while, more recently, data-driven approaches based on machine learning have become popular. The two techniques are complementary, and this talk explores ways in which they have been combined together.
The eighth annual Wheeler Lecture took place in May 2019 when Prof Jane Hillston (professor of quantitative modelling and head of the School of Informatics, University of Edinburgh) talked about combining machine learning techniques into a formal modelling framework.
Formal methods offer rigorous techniques for reasoning about systems, while, more recently, data-driven approaches based on machine learning have become popular. The two techniques are complementary, and this talk explores ways in which they have been combined together.
