Not registered as user yet

Name: John Launchbury

Affiliation: Galois, Inc.

Contributions

ICFP 2017invited speaker of Assuring AI within the Keynotes and Reports-track