About Me

Dr. Meng Wang is a Reader 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

I am looking for motivated PhD students and PostDocs. Please get in touch if you are interested.


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.
Dec, 2023
Reconciling Partial and Local Invertibility is accepted by European Symposium on Programming.
Dec, 2023
SPARCL : A Language for Partially-Invertible Computation is accepted by Journal of Functional Programming.
Sep, 2023
My student Minh Nguyen has successfully defended his PhD thesis Effects and Effect Handlers for Probabilistic Programming. Congratulations Minh!
Sep, 2023
I am on the PC of ICFP24. Please consider submitting.
Sep, 2023
We are organising Fun in the Afternoon / S-REPLS 13 at Bristol.
Sep, 2023
I delivered a keynote Translation to Rust at China Computer Federation (CCF).
Sep, 2023
I am co-organising PEPM 2024. Please consider submitting. Deadline: 18th October 2023.
Aug, 2023
Reflecting on Random Generation received Distinguished Paper award at ICFP’23!
July, 2023
Contract Lenses: Reasoning about Bidirectional Programs via Calculation is accepted by Journal of Functional Programming.
July, 2023
Effect Handlers for Programmable Inference is accepted by Haskell’23.
Jun, 2023
We are recruiting a lecturer in Programming Languages and Compilers.
Jun, 2023
My student Minh Nguyen is awarded EPSRC Doctoral Prize Fellowship for the proposal Robust, Reusable Computational Models via Typed Functional Programming.
Jun, 2023
The extended version of our OOPSLA’21 paper Synbit: Synthesizing Bidirectional Programs using Unidirectional Sketches is accepted by Journal of Formal Methods in System Design.
May, 2023
Two papers Embedding by Unembedding and Reflecting on Random Generation are accepted by ICFP’23.
Apr, 2023
Ownership guided C to Rust translation is accepted by CAV’23.
Feb, 2023
Funding success! Debugging Systems For Metaprogramming-based EDSLs is funded by Huawei Ireland.
Oct, 2022
Exploring Better Black-Box Test Case Prioritization via Log Analysis is accepted by ACM Transactions on Software Engineering and Methodology.
May, 2022
We are organising the International Symposium on Theoretical Aspects of Software Engineering at Bristol.
Sep, 2022
I am delivering a keynote Functional Programming. Why does it matter? at Huawei Strategy and Technology Workshop.
Sep, 2022
Roly Perera has joint the group as a research fellow, and Joe Bond and Cameron Low as research associates. Welcome!