I am a first-year PhD student in the LFCS at the University of Edinburgh, supervised by Sam Lindley. I am interested in Programming Languages, especially algebraic effects, effect handlers and type systems.

Previously, I was an undergraduate student majoring in Computer Science at Peking University, supervised by Zhenjiang Hu in the PL Lab of Peking University. I was also a research intern in Tom Schrijvers' PL Group at KU Leuven remotely in Summer 2021.

Education

Publications & Manuscripts

Wenhao Tang, Daniel Hillerström, James McKinna, Michel Steuwer, Ornela Dardha, Rongxiao Fu, Sam Lindley
[Preprint]

Roger Bosman*, Birthe van den Berg*, Wenhao Tang*, Tom Schrijvers (*equal contributions)
[Preprint]

Hanliang Zhang, Wenhao Tang, Ruifeng Xie, Meng Wang, Zhenjiang Hu
[Manuscript]

Talks

SPLS, Heriot-Watt University, Scotland, UK, March 2023 [Slides]

Projects

Teaching

Service