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:/ |
More contact information is available at the Contact page.
Projects
Past |