Welcome to my homepage!

I am a postdoctoral researcher in the LogICS group at the Institute of Computer Science of the Czech Academy of Sciences. I am a member of the Metalogic Group, working on the INTERACT project (PI: Dr. Wesley Fussner).

My research specializes in structural proof theory for non-classical systems comprising modal and substructural logics. I focus on the development of structured calculi—notably variants of nested sequent calculi—investigating their properties and applications within various logical contexts.

Prior to the current position, I completed my Ph.D. in October 2025 under the supervision of Prof. Nicola Olivetti at Laboratoire d'Informatique et Systèmes (LIS), affiliated with Aix-Marseille Université and CNRS. In my thesis, I conducted proof-theoretic studies on (intuitionistic) modal logics. Before starting my Ph.D., I received my Master's degree in 2022 and Bachelor's degree in 2019.

My complete academic résumé is available upon request.

Some personal history: I was born and raised in 江苏 - Jiangsu, which is China's most beautiful and open-minded province. I spent my childhood in 东台 - Dongtai and three years of adolescence in 苏州 - Suzhou. From 2015 to 2022, I studied in several inland cities in northern China. During the COVID-19 pandemic in 2022, I briefly worked as a junior columnist at a media company in Beijing, during which time I wrote several articles on international affairs.