news
| Jan 2025 | attended POPL 2025 in Denver, my first time attending a CS conference |
|---|---|
| Aug 2024 | started my PhD at CMU CSD, advised by Jan Hoffmann |
| Dec 2023 | graduated my MS at CMU CSD, defending MS thesis on RaML 2 |
| Jun 2023 | interned at Galois Inc |
| Jan 2023 | started my MS at CMU CSD, advised by Jan Hoffmann |