News
| Apr 2026 | Our article LFPL: Revisited and Mechanized has been accepted at LICS 2026. |
|---|---|
| Jun 2025 | I attended OPLSS 2025 in Eugene, Oregon. |
| Aug 2024 | I started my PhD at CMU, advised by Jan Hoffmann. |
| May 2024 | I graduated from CMU with a BS in mathematics (concentration: discrete math and logic), additional major in computer science, and MS in mathematics. |
| Apr 2024 | I defended my masters thesis on the stability of cube-slicing inequalities. |
| Aug 2023 | I started my MS in mathematics at CMU, advised by Tomasz Tkocz. |