Skip to main content

Haoxuan Yin

Personal photo - Haoxuan  Yin

Haoxuan Yin

Doctoral Student

E: haoxuan[dot]yin [at] merton[dot]ox[dot]ac[dot]uk

Wolfson Building, Parks Road, Oxford OX1 3QD


Theory of metaprogramming languages e.g. MetaOCaml, Template Haskell, Scala 3.


I am currently a second-year DPhil student in computer science at University of Oxford under the supervision of Professors Andrzej Murawski and Luke Ong. Previously, I graduated from Tsinghua University with a double bachelor degree in computer science and philosophy advised by Professors Johan van Benthem and Fenrong Liu. I also worked on an internship with Dr Georg Zetzsche at MPI-SWS.

Selected Publications

View AllManage publications