ICFP 2023
Mon 4 - Sat 9 September 2023 Seattle, Washington, United States
Craig McLaughlin

Registered user since Thu 23 Feb 2023

Name:Craig McLaughlin
Country:Australia
Affiliation:UNSW Sydney
Personal website:https://cmcl.github.io
Research interests:Programming Languages, Formal Verification, Operating Systems, Type Theory, Compilers, Proof Assistants

Contributions

HOPE 2023 Committee Member in Program Committee within the HOPE 2023-track
Show activities from other conferences

Using general profile