- June, 2025Accepted to the MIT-UF-NEU 2025 Joint Summer Research Camp under Dr. Muhammad Usama, joining the JTL Urban Mobility Lab at MIT and Transit Mobility Lab at Northeastern.
- April, 2025Presented "FORMAL: Democratizing Lean 4 Formalization Through Retrieval-Augmented Thinking and Agentic Feedback Loops" at the Math for All Conference 2025
- April, 2025Will be joining the SERMoS Lab@University of Florida this Fall as a Ph.D. Student!