Who am I?

I am a graduate student at The Ohio State University currently pursuing a dual Master's degree in Mathematics and Computer Science and Engineering. My research interests include Model Theory and its applications.

I am a member of the OSU CSE mental wellness committee.

I got my B.S in Computer Science and Engineering from The Ohio State University in 2022 and got my B.E in Computer Science and Technology from Hangzhou Dianzi University in 2023.

Here is my Curriculum vitae, updated on Jan 1, 2025.

Recent Work

Here are some of my recent publications:

TBD

Recent Talks

Here are some talks I gave recently:

Recent Teaching

Current teaching:

Previous teaching:

Fun facts about me