Research output per year
Research output per year
Associate Professor
Research activity per year
Research interests:
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.
Bio:
I received my PhD in 1999 from the University of Cambridge, and was an undergraduate at Victoria University of Wellington.
BA, BSc(Hons), PhD
Research output: Contribution to journal › Article › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Research output: Contribution to journal › Article › peer-review
Bui, T., Grastien, A., Jiang, J., Norrish, M., Xie, L. & Zhang, W.
31/07/24 → 31/07/27
Project: Research