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.
News
- 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!