About Me
Dr. Meng Wang is a Professor in the School of Computer Science, with research interests in programming languages and software engineering. He heads the Programming Languages Research Group at Bristol and is a member of IFIP Working Group 2.1 on Algorithmic Languages and Calculi. He is also the lead of Core computer science (programming languages, algorithms and complexity, cryptography, high performance computing, and trustworthy systems) with line management responsibilities for all academics in these areas.
Previously, he was a lecturer at University of Kent, and an assistant professor at Chalmers University of Technology. He completed his DPhil (known as PhD elsewhere) at University of Oxford, and before that he studied at National University of Singapore.
Research Interest
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.
Research keywords
- Programming Languages
- Functional Programming
- Bidirectional Programming
- Software Engineering
- Testing
I am looking for motivated PhD students and PostDocs. Please get in touch if you are interested.
News
- Jan, 2026
- Funding success! Complex Semantics for Higher Order Abstract Syntax is funded by the EPSRC. The proposal is partially based on our ICFP’23 paper Embedding by Unembedding.
- Dec, 2025
- Lenses for Partially-Specified States is accepted by ESOP.
- Oct, 2025
- Wenjia Ye has joint my group as a senior research associate. She will be working on a graduate type system for Rust-like languages among others.
- Oct, 2025
- False-Positive Bug Reports in Deep Learning Compilers: Stages, Root Causes, and Mitigation is accepted by TOSEM.
- Sep, 2025
- I will be serving on the PLDI 2026 program committee.
- Mar, 2025
- I am pleased to share that I am now serving as the Steering Committee Chair for Partial Evaluation and Program Manipulation (PEPM).
- Mar, 2025
- Scalable, Validated Code Translation of Entire Projects using Large Language Models is (conditionally) accepted by PLDI.
- Feb, 2025
- Job alert! Senior Research Associate in Programming Languages.
- Jan, 2025
- Ke Sun from Peking University is visiting for 3 months.
- Sep, 2024
- Distinguished Paper Award at ECOOP 2024!
- Sep, 2024
- An Empirical Study of the Non-determinism of ChatGPT in Code Generation is accepted by TOSEM.
- Aug, 2024
- I organised the VeTSS summer school at Bristol.
- Jun, 2024
- Formalizing, Mechanizing, and Verifying Class-based Refinement Types is accepted by ECOOP.
- Apr, 2024
- Funding success! Two projects on translating legacy code to memory safe languages are funded by EPSRC IAA.
- Mar, 2024
- Funding success! Compiler Testing Via Holistic Analysis is funded by the Royal Society.
- Mar, 2024
- Cristina and I are recruiting a PostDoc in programming languages.