SPLASH 2020
Sun 15 - Fri 20 November 2020 Online Conference
Cameron Wong

Registered user since Wed 19 Aug 2020

Name: Cameron Wong

Bio: Wannabe type theorist. Currently working for Jane Street Capital.

Country: United States

Affiliation: Carnegie Mellon University

Personal website: https://camdar.io

Research interests: Programming Languages, Type Theory, Formal Methods

Contributions

SPLASH 2020Author of Gradual Verification of Recursive Heap Data Structures within the OOPSLA-track
Show activities from other conferences

Using general profile