Skip to main content

Craig McLaughlin
Research Scientist; Postdoctoral Fellow, UNSW

Research Interests

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

Contact Details

Email:Craig.Mclaughlin@data61.csiro.au

More contact information is available at the Contact page.

Projects

Current

Served by Apache on Linux on seL4.