Registered user since Mon 19 Aug 2019

Name:John Launchbury
Affiliation:Galois, Inc.

Contributions

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