news
Announcements about my funding, awards, and projects.
| Sep 27, 2026 | Anthropic AI for Science Award to Formalize dg-Categories in Lean |
|---|---|
| Sep 02, 2025 | COES Education Award |
| May 08, 2025 | Construction Zone Compound |
| Apr 01, 2025 | AXIOM Lab Proposal Awarded Full Funding by Louisiana Board of Regents |