Computer Science Researcher & Software Engineer
Building the future of computing through compilers, operating systems, and applied AI. Currently pursuing my HBSc at the University of Toronto with a 4.0 GPA.
I'm a computer science student at the University of Toronto with a passion for building tools that make complex systems more accessible and efficient.
My research interests span operating systems, compilers and program analysis, retrieval-augmented generation, and applied LLMs for systems and tooling.
Honors Bachelor of Science (HBSc)
Computer Science
2021 – June 2026 (Expected)
Software Engineering Intern
Software Engineering Intern, Digital Scholarship Unit
A Domain-Specific Language for Turing Machines
Designed and implemented Varphi, a domain-specific language for specifying and simulating Turing machines. The project includes a modular compiler framework with multiple backends, VS Code integration, and comprehensive debugging tools.
Supervisor: Dr. Mohammad Mahmoud
Contributed to an open textbook for CSC363 (Computability Theory) with exercises and solutions. Also contributed edits to "Introduction to Proofs and Proof Strategies" by Shay Fuchs (Cambridge, 2023) and the MAT223 Linear Algebra Workbook by Jason Siefken.
2026 research on LLM-assisted grading for CS assessments with anticipated publication.
A domain-specific language for specifying and simulating Turing machines with modular compiler, VS Code extension, and DAP-compliant debugger. Used by 180+ students at UofT.
Hackathon-winning platform that automates essay brainstorming using UiPath automation, Wikipedia scraping, and Flask web framework.
Machine learning classifiers (MLP, KNN, Logistic Regression) trained to predict cities based on features, with custom model implementations from scratch.
Discord bot that scrapes PC component prices from BestBuy, stores data in MySQL, and provides price alerts and watchlist notifications.
A memory game implementation written entirely in RISC-V assembly language, played on the Ripes simulator with LED matrix and D-Pad I/O.
A full-stack Wordle clone with separate frontend and backend architecture, implementing the popular word-guessing game mechanics.
A digital recreation of the classic Boggle board game built with JavaFX, featuring an interactive UI and word validation system.
"Varphi: A Description Language for Turing Machines"
Proceedings of the Western Canada Conference on Computing Education 2025 (WCCCE '25)
View Publication"Systems and Methods for Control of Arbitrary-Precision Numbers in High-Level Synthesis"
U.S. Patent Application No. 19/304,364 (2025) • Assigned to Microchip Technology
"Systems and Methods for Optimizing HLS-Generated HDL Code using ReAct Agents with Techniques for Overcoming Generative AI Model Output Context Window Limitations"
U.S. Patent Application (2025) • Assigned to Microchip Technology
Microchip Technology
University of Toronto
University of Toronto
University of Toronto
University of Toronto
TC Energy
UiPath Automation Category
University of Toronto
University of Toronto
CEMC
CEMC
I'm always interested in discussing new opportunities, research collaborations, or just connecting with others.