I am a second-year PhD student in LFCS at the University of Edinburgh, supervised by Sam Lindley. My research interest lies in programming languages, especially types (linear types, type inference) and effects (algebraic effects, higher-order effects, effect handlers, type-and-effect systems).
Previously, I was an undergraduate student majoring in Computer Science and a member of Turing Class at Peking University, where I worked with Zhenjiang Hu on program calculation and bidirectional programs. I was also a research intern in Tom Schrijvers' PL Group at KU Leuven working on algebraic and scoped effects in 2021.
- Ph.D. Student in Informatics, Oct 2022 - Present, The University of Edinburgh
- B.S. in Computer Science (summa cum laude), Sept 2018 - July 2022, Peking University
A Calculus for Scoped Effects & Handlers
Roger Bosman*, Birthe van den Berg*, Wenhao Tang*, Tom Schrijvers (*equal contributions)
Submitted to Logical Methods in Computer Science
[arXiv] [artifact] [demo]
Tracking Linear Continuations for Effect Handlers
Huawei Edinburgh Joint Lab Workshop, The University of Edinburgh, Scotland, UK, June 2023 [slides]
SPLS, Heriot-Watt University, Scotland, UK, March 2023 [slides]
- TA & Tutor, Elements of Programming Languages, The University of Edinburgh, Fall 2023.
- TA & Tutor, Elements of Programming Languages, The University of Edinburgh, Fall 2022.
- TA, Introduction to Computer Systems, Peking University, Fall 2020.