Experience

Where I've worked

Research roles and what I worked on in each one.

  1. University of Florida — SERMoS Lab

    Graduate Research Assistant

    • Researching LLM agents for transportation — multi-agent simulation of travel behavior and automated analysis of large-scale mobility data.
    • Developed SAPA, a behavioral theory-guided LLM framework for ridesourcing mode-choice prediction.
    • Co-developed GHOST, an open-source tool for bias-mitigated home detection from mobile location data (TRB 2026).
    LLM agentsMulti-agent simulationMobility data

  2. MIT JTL-Transit Lab

    Summer Research Intern

    • Designed a Spatial-RAG pipeline over transit data (GTFS/GIS) for the Chicago Transit Authority.
    • Prototyped LLM agents that reason about delay propagation and rerouting in transit networks.
    Spatial RAGTransit operations

  3. Colorado College — Math & Computer Science

    Undergraduate Researcher (Senior Thesis)

    • Built FORMAL, an agentic retrieval-augmented system that translates natural-language mathematics into Lean 4 code.
    • Reached 92% syntactic correctness and 83% semantic accuracy on the Lean-Workbook benchmark using local LLMs.
    Lean 4Formal methods