2026-06 at Veritas Graduate Conference 2025-06 at OPLSS 2025 2025-05 at HotOS XX 2025-02 Kakehashi! 2025-01 Grove published at POPL 2025 2024-12 presented at NJPLS 2024-08 started my PhD 2024-08 participated in the UniMath summer school 2024-04 received the NSF Graduate Research Fellowship! 2024-03 passed the JLPT N1! 2024-02 ミシガンの日本語スピーチコンテストで勝利しました 2023-12 presenting at POPL 2024! 2023-08 TA'ing EECS 490 this year 2023-06 study abroad 2023-03 received a FLAS