Craig's research interests include type theory, logic, programming languages, compilers, and formal verification.
More contact information is available at the Contact page.