I like graphics programming a decent bit, and gamedev, ML, systems programing and a bit of trading I can write Java, C, C++, C#, Rust, Python, Haskell, and typescript I like Rust, Haskell, and C the most

Experience

Thomas J. Watson College of Engineering and Applied Science, Binghamton UniversityResearch Collaborator

2025 — Now

Remote

Research on symbolic execution of Haskell code and mutually exclusive path constraints.

Binghamton Tech CollectiveSoftware Engineer

2025 — Now

Binghamton, New York, United States

Contributed to the Binghamton Marketplace service, allowing students to list items for sale and purchase items via a mobile application.

Binghamton University Rover TeamSoftware Engineer

2024 — Now

Binghamton, New York, United States

Contributed to the rover's dashboard - an app to remotely communicate with our rover. Implemented a live view of the rover's surroundings with incoming LiDAR data, trained a computer vision model on synthetic data to recognize items with an 95.5% confidence, and helped fix various bugs regarding CMake and build scripts.

Education

Thomas J. Watson College of Engineering and Applied Science, Binghamton University

Bachelor's degree

The Bronx High School of Science