Rochester Institute of Technology
August 2022–May 2026
Rochester, New York
B.S./M.S. Computer Science
Specialization: Programming Languages and Tools · Minor: Mathematics
- M.S. project: Lambda Set Specialization for MLton — integrated a specializing defunctionalization technique into MLton, a whole-program optimizing compiler for Standard ML.
- Synthesized compilers, functional programming, intermediate languages, type systems, and computation theory.
- Experienced operating in a production compiler ecosystem with real-world developer considerations.
- Dean's List: Fall 2022, Spring 2023, Fall 2023.
Coursework: C, Haskell, Java, Python; OOP, procedural and functional programming; AI, ML, neuronal models, LLMs; data structures, algorithms; cryptography; project management, SCRUM; networking, distributed computing; relational databases, SQL; Linux; discrete math, graph theory, calculus, statistics.
Pitt Community College
January 2021–December 2023
Winterville, North Carolina
A.A.S. Information Technology: Computer Programming and Development
- Certificates: C# Programming, Data Reporting and Analytics, Java Programming.
Coursework: Java, C++, C#, Python; GUI programming, web development; networking; relational databases, SQL; Linux; program design, project management; Agile and Waterfall methodologies; Microsoft Office.