|
|||||||
|
|||||||
I'm a final year undergrad majoring in MATH and CS (both with honors) at University of Wisconsin-Madison. I'm deeply interested in Programming Language Theory and its elegant mathematical motivations (mostly from Logic, Algebra and Topology). I'm looking for a Ph.D. Position in PL/FM/AR starting from 2026 Fall! Please feel free to reach out! |
|||||||
|
|||||||
![]() |
University of Wisconsin-Madison
2024/01 ~ 2025/12
|
||||||
![]() |
Nanjing University
2021/09 ~ 2024/01
|
||||||
|
|||||||
|
|||||||
|
|||||||
|
|||||||
|
|||||||
|
|||||||
|