SAS 2020
Wed 18 - Fri 20 November 2020 Online Conference
co-located with SPLASH 2020
SPLASH 2020 (series) / SAS 2020 (series) / Cameron Wong
Cameron Wong

Registered user since Wed 19 Aug 2020

Name:Cameron Wong
Bio:

Wannabe type theorist.

Affiliation:Jane Street
Personal website: https://camdar.io
Research interests:Programming Languages, Type Theory, Formal Methods

Contributions

Show activities from other conferences

SPLASH 2020-profile
View general profile