| Jul 2026 |
I attended my first PL conference: FLoC 2026 in Lisbon, Portugal.
|
| 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.
|