Dr Meng Wang
BSc, MSc, PhD
Expertise
Current positions
Associate Professor of Programming Languages
School of Computer Science
Contact
Press and media
Many of our academics speak to the media as experts in their field of research. If you are a journalist, please contact the University’s Media and PR Team:
Biography
Dr. Meng Wang is an Associate Professor in the Department 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 interests
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.
Projects and supervisions
Research projects
Compiler Testing via Holistic Analysis
Principal Investigator
Managing organisational unit
School of Computer ScienceDates
31/03/2024 to 30/03/2026
UKRI CoA extension to EXHIBIT
Principal Investigator
Managing organisational unit
Department of Computer ScienceDates
01/07/2021 to 30/09/2021
8030 EPSRC EP/T008911/1 EXHIBIT : Expressive High-Level Languages for Bidirectional Transformations
Principal Investigator
Managing organisational unit
Department of Computer ScienceDates
01/07/2020 to 30/06/2023
8459 EPSRC EP/T008911/1 EXHIBIT : Expressive High-Level Languages for Bidirectional Transformations
Principal Investigator
Managing organisational unit
School of Computer ScienceDates
01/07/2020 to 30/06/2024
-
Principal Investigator
Managing organisational unit
Department of Computer ScienceDates
18/03/2020 to 17/03/2022
Publications
Selected publications
28/10/2022Exploring Better Black-Box Test Case Prioritization via Log Analysis
ACM Transactions on Software Engineering and Methodology
Modular Probabilistic Models via Algebraic Effects
Proceedings of the ACM on Programming Languages
Staging with Class
Proceedings of the ACM on Programming Languages
Linked visualisations via Galois dependencies
Proceedings of the ACM on Programming Languages
Synbit
ACM on Programming Languages
Recent publications
05/04/2024Reconciling Partial and Local Invertibility
Programming Languages and Systems
Sparcl
Journal of Functional Programming
SYNBIT
Formal Methods in System Design
Effect Handlers for Programmable Inference
Haskell 2023
Ownership guided C to Rust translation
Proceedings of the International Conference on Computer Aided Verification