International Conference on Functional Programming 2017

Assuring AI


Listen Later

John Launchbury, Chief Scientist of Galois Inc, gives the second keynote of the ICFP conference. Somewhat ironically, just as traditional systems software finally comes within reach of detailed mathematical verification, the demand for verification technology is rapidly expanding into domains that pose very different kinds of challenges. How could a face recognition technology be verified, for example, when it is not clear even how to state a correctness property? Or how should we attempt to verify an autonomous system like a self-driving car? This talk will attempt to lay out the problem space, and offer some ideas for how the verification community might start tackling the problem of assuring AI. Creative Commons Attribution-Non-Commercial-Share Alike 2.0 UK: England & Wales; http://creativecommons.org/licenses/by-nc-sa/2.0/uk/
...more
View all episodesView all episodes
Download on the App Store

International Conference on Functional Programming 2017By Oxford University


More shows like International Conference on Functional Programming 2017

View all
General Philosophy by Oxford University

General Philosophy

69 Listeners

Anthropology by Oxford University

Anthropology

75 Listeners

Philosophy for Beginners by Oxford University

Philosophy for Beginners

322 Listeners

Approaching Shakespeare by Oxford University

Approaching Shakespeare

329 Listeners

Aesthetics and Philosophy of Art lectures by Oxford University

Aesthetics and Philosophy of Art lectures

76 Listeners

Kant's Critique of Pure Reason by Oxford University

Kant's Critique of Pure Reason

76 Listeners

The Secrets of Mathematics by Oxford University

The Secrets of Mathematics

41 Listeners

Oxford Physics Public Lectures by Oxford University

Oxford Physics Public Lectures

10 Listeners

Theoretical Physics - From Outer Space to Plasma by Oxford University

Theoretical Physics - From Outer Space to Plasma

59 Listeners

Professor of Poetry by Oxford University

Professor of Poetry

24 Listeners