|
|||||||
|
|||||||
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. In particular, I am studying / exploring
I will apply for Ph.D. programs in Programming Language Theory / Formal Methods starting from 2026 Fall. |
|||||||
|
|||||||
![]() |
University of Wisconsin-Madison
2024/01 ~ 2025/12
|
||||||
![]() |
Nanjing University
2021/09 ~ 2024/01
|
||||||
|
|||||||
|
|||||||
|
|||||||
|
|||||||
|
|||||||
|
|||||||
|