logic and programming languages
I am currently a first-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.
Hybrid sabotage modal logic
Johan van Benthem‚ Lei Li‚ Chenwei Shi and Haoxuan Yin
In Journal of Logic and Computation. 2022.