Research output per year
Research output per year
BS8 1UB
The central theme of his research is to apply theoretical rigour to practical programming, with the aim of improving the correctness and robustness of software systems. In particular, he focuses on designing languages and tools for software development and testing.
Please see my personal page for up to date information.
Research output: Contribution to journal › Article (Academic Journal) › peer-review
Research output: Contribution to journal › Article (Academic Journal) › peer-review
Research output: Contribution to journal › Article (Academic Journal) › peer-review
Wang, M. (Principal Investigator)
1/07/20 → 30/06/23
Project: Research
Meng Wang (Editor)
Activity: Publication peer-review and editorial work types › Publication peer-review
Meng Wang (Editor)
Activity: Publication peer-review and editorial work types › Publication peer-review
Meng Wang (Editor)
Activity: Publication peer-review and editorial work types › Publication peer-review