Dr. Meng Wang is a Senior Lecturer in the Department of Computer Science, with research interests in programming languages and software engineering. He leads the Programming Languages Research Group at Bristol and is a member of IFIP Working Group 2.1 on Algorithmic Languages and Calculi. He is the International Director of School of Computer Science, Electrical and Electronic Engineering, and Engineering Maths, and a member of the school management team and school board.
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.
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.
I am looking for motivated PhD students and PostDocs. Please get in touch if you are interested.
- Dec, 2021
- Funding success! Ownership and Lifetime Driven Synthesizer for Automatic C to Rust Translation is funded by Huawei Ireland.
- Sep, 2021
- Two papers Staging with Class and Linked visualisations via Galois dependencies are accepted by POPL’22.
- Sep, 2021
- Synbit: Synthesizing Bidirectional Programs using Unidirectional Sketches is accepted by OOPSLA’21.
- Aug, 2021
- My student Minh Nguyen won the first place at the ACM Student Research Competition (ICFP) with Composable, Modular Probabilistic Models. Congratulations Minh!
- June, 2021
- I am chairing the Bx workshop with Leen Lambers.
- June, 2021
- Hanliang Zhang joins the team as a research assistant on the Rust project.
- Feb, 2021
- Funding success! Verified Program Synthesis for Refactoring Rust Programs is funded by the National Cyber Security Centre (NCSC).
- Jan, 2021
- Ningning Xie from University of Hongkong is visiting us for four months. Welcome Ningning!
- Dec, 2020
- Weixin Zhang joins the team as a senior research associate on the EXHIBIT project. Welcome Weixin!
- Jun, 2020
- I am very glad to be nominated for Inspiring and Innovative Teaching Award at Bristol for my Functional Programming unit. I had a lot of fun and it seems that the students did too!
- May, 2020
- Sparcl: A Language for Partially-Invertible Computation is (unconditionally) accepted by ICFP’20.
- Mar 2020
- Project Making Software Development Language-Agnostic through Cross-Language Mapping and Migration funded by the Royal Society (IES\R3\193175).
- Dec, 2019
- I am co-chairing the Ninth International Workshop on Bidirectional Transformations (BX 2020). Deadline for papers is 4 May 2020.
- Nov, 2019
- Three PhD students (Samantha Frohlich, Minh Nguyen, and Anton Antich) are starting in early 2020. Welcome!
- Oct, 2019
- A Study of Programming Languages and Their Bug Resolution Characteristics is accepted by Transactions on Software Engineering (TSE).
- Sep 2019
- Project EXHIBIT : Expressive High-Level Languages for Bidirectional Transformations funded by EPSRC (EP/T008911/1).
- Sep 2019
- Dr Kazutaka Matsuda from Tohoku University is visiting for two weeks.
- Aug 2019
- Samantha Frohlich won the first prize of ICFP 2019 Student Research Competition (Undergraduate Category). Well done Sam!