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