Haoxuan Yin
Haoxuan Yin
Wolfson Building, Parks Road, Oxford OX1 3QD
Interests
metaprogramming, type thoery, program semantics.
Biography
I am currently a fourth-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 bachelor degree in computer science and a second bachelor degree 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
-
Contextual MetaML: Syntax and Full Abstraction
Haoxuan Yin‚ Andrzej S. Murawski and C.−H. Luke Ong
In Claudia Faggian and Joost−Pieter Katoen, editors, 41st Annual Symposium on Logic in Computer Science (LICS 2026). Vol. 380 of Leibniz International Proceedings in Informatics (LIPIcs). Pages 83:1–83:27. Dagstuhl‚ Germany. 2026. Schloss Dagstuhl – Leibniz−Zentrum für Informatik.
Details about Contextual MetaML: Syntax and Full Abstraction | BibTeX data for Contextual MetaML: Syntax and Full Abstraction | DOI (10.4230/LIPIcs.LICS.2026.83) | Link to Contextual MetaML: Syntax and Full Abstraction
-
Hybrid Sabotage Modal Logic in Perspective
Johan van Benthem‚ Lei Li‚ Chenwei Shi and Haoxuan Yin
In Johan van Benthem and Fenrong Liu, editors, Graph Games and Logic Design: Recent Developments and Further Directions. Pages 103–129. Springer Nature Switzerland, Cham. 2026.
Details about Hybrid Sabotage Modal Logic in Perspective | BibTeX data for Hybrid Sabotage Modal Logic in Perspective | DOI (10.1007/978-3-031-91361-7_5) | Link to Hybrid Sabotage Modal Logic in Perspective
-
Hybrid sabotage modal logic
Johan van Benthem‚ Lei Li‚ Chenwei Shi and Haoxuan Yin
In Journal of Logic and Computation. Vol. 33. No. 6. Pages 1216−1242. 2023.
Details about Hybrid sabotage modal logic | BibTeX data for Hybrid sabotage modal logic | DOI (10.1093/logcom/exac006) | Link to Hybrid sabotage modal logic