Cornell University

• Designed a frontend language for Caiman, an intermediate representation (IR) for CPU/GPU computing
• Developed an e-graph based type inference algorithm that enforces specification adherence and supports subtyping
• Designed an intermediate representation and implemented middle end analyses and optimizations such as SSA conversion

Aug 2023 - May 2024

• TA for Discrete Math and Operating Systems
• Led and planned recitation sections and discussions, held review sessions, designed programming assignments, held office hours, and assisted in the development of exams and grading rubrics for
• Designed and implemented a new auto-grader for OS which drastically reduced grading time

Reliable Robotics

• Used C++, JavaScript, and Python to develop control and simulation software for an autonomous Cessna aircraft undergoing FAA certification

May - Aug 2023

Intel Corporation

• Worked on a parallelized, high performance software rasterizer in C++ used for testing and API‐level GPU simulation
• Refactored the rasterizer’s instrumentation layer to promote greater modularity and separation of concerns.
• Implemented a tile‐based immediate rendering mode utilized by several large hardware modeling teams across Intel

May - Aug 2022

• Researched and developed robust machine learning algorithms for automated material inspection in C++ and Python with OpenCV and Keras. Advanced the team’s knowledge of novel approaches to improve sort automation.
• Prototyped and presented solutions involving semantic segmentation, semantic edge detection, and regression models

June - Aug 2021

Cornell University

• Held weekly office hours, responded to online discussions, and graded weekly homework and exams for CS 2800

Jan - May 2022

BRdata

• Utilized C#, SQL, JavaScript, HTML, and CSS to create and maintain cloud‐based, real‐time data analysis reports used by hundreds of grocery store chains nationwide. Assisted clients with inventory management, employee productivity, and sales reports

Aug 2020 - Feb 2021