The University of New South Wales

Craig McLaughlin
Research Associate

Research Interests

Craig's research interests include type theory, logic, programming languages, compilers, and formal verification.

Contact Details

Email:c.mclaughlin@unsw.edu.au
Web:https://cmcl.github.io

More contact information is available at the Contact page.

Photo of Craig McLaughlin

Projects

Past