معرفی
Dr. Meng Wang is a Professor at the School of Computer Science, University of Bristol, where he leads the Programming Languages Research Group. His career includes prior roles as a Lecturer at University of Kent and Assistant Professor at Chalmers University of Technology.
- Current Affiliation: University of Bristol
- Past Affiliation: University of Kent
- Past Affiliation: Chalmers University of Technology
Research interests center on applying theoretical rigor to practical programming, with a focus on designing languages and tools for software development and testing. Key areas include:
- Bidirectional Programming
- Functional Programming
- Software Testing
- Type Systems
- Embedded Languages
Publication trends show a strong emphasis on bidirectional programming, functional language design, and compiler techniques. His recent work explores large language model applications in code translation and formal verification of refinement types in object-oriented systems.
Supervision and team leadership include mentoring 12 current PhD students and 1 Research Associate, while past mentees include notable researchers who have transitioned to industry and academic roles. He has organized workshops like VeTSS summer school and co-chaired PEPM 2024, demonstrating active community engagement.
