Incoming PhD Student at University of Florida
mustafasameen@ufl.edu
Note: This website is no longer being updated. Please visit https://www.mustafasameen.com for my latest updates.
I am an incoming Ph.D. student in the SERMoS Lab at the University of Florida, advised by Dr. Xilei Zhao, joining the SERMoS Lab this Fall. I graduate this May from Colorado College with a double major in Computer Science and Mathematics. My research sits at the intersection of AI and transportation engineering. I’m currently focused on: (A) Spatio-temporal demand forecasting using LLM-based agents (B) Multi-agent LLM systems for adaptive, real-time digital twins (C) Fairness-aware, interpretable models across multi-stage travel-model pipelines
FORMAL: Democratizing Lean 4 Formalization Through Retrieval-Augmented Thinking and Agentic Feedback Loops
Mustafa Sameen
MochaSimplifier
TypeScript, React, OCR, OpenAI
Web app for accessible text extraction and simplification from images and PDFs, focused on cognitive accessibility. Leverages OCR and LLMs to make text easier to read for everyone.
SCAC Esports Statistics Tracker
React, Flask, OCR
Built an OCR-powered system for automated esports data extraction, match outcome prediction, and real-time analytics for SCAC tournaments.
