Not registered as user yet

Name: John Launchbury

Affiliation: Galois, Inc.

ICFP 2017 Activities

• invited speaker of Assuring AI within the Keynotes and Reports-track in ICFP 2017
• Show activities from other conferences