Haoxuan Yin

Haoxuan Yin

Doctoral Student

Student, Merton College

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

Wolfson Building, Parks Road, Oxford OX1 3QD

Interests

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

Biography

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

• Hybrid sabotage modal logic

  Johan van Benthem‚ Lei Li‚ Chenwei Shi and Haoxuan Yin

  In Journal of Logic and Computation. 2022.

  exac006

  Details about Hybrid sabotage modal logic | BibTeX data for Hybrid sabotage modal logic | DOI (10.1093/logcom/exac006) | Link to Hybrid sabotage modal logic

Supervisors