Full description
I received my PhD in 1999 from the University of Cambridge, and was an undergraduate at Victoria University of Wellington. My research interests lie in the areas of formal methods, interactive theorem proving (I am one of the developers of the HOL4 system), and formal semantics for complicated real-world systems. I am currently involved in the Trustworthy Embedded Systems project within NICTA, and in various collaborations around the world. Subjects
Computation Theory and Mathematics |
Computation Theory And Mathematics |
Computational Logic And Formal Languages |
Computational Logic and Formal Languages |
Information and Computing Sciences |
Mathematical Software |
Networking And Communications |
User Contributed Tags
Login to tag this record with meaningful keywords to make it easier to discover
Identifiers
