Researcher
Research on TLA+ and fine-tuning open-source LLMs for formal methods.
Research
Undergraduate Research Assistant
Research on AI interpretability and experimental studies involving ChatGPT and advanced Java concepts.
Computer Science Student
Bachelor of Science in Computer Science, Expected May 2026