Not registered as user yet

Name: John Launchbury

Affiliation: Galois, Inc.

Contributions

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