Registered user since Mon 19 Aug 2019

Name: John Launchbury

Affiliation: Galois, Inc.

Contributions

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