Verified Interpreter for CNC G-code in Lean 4
Course Project for CS 511 Formal Methods 1 Fall 2025
Dec 11, 2025
Physics Simulation Based Algorithms for Space-Efficient 2D Packing in Additive Manufacturing
Course Project for CS 530 Advanced Algorithms Fall 2025
Dec 9, 2025
Wwise Interactive Sound Design Showcase
A showcase of my work in Wwise design in games.
Jun 11, 2025
Titanium Color "Printing" Using Electrochemical Anodization
A CNC approach to creating titanium color prints using a 3D printer
Mar 12, 2025
Titanium Laser Printing
Using a laser cutter to "print" colors on titanium
May 19, 2024
Indie Game Stoneman's Adventure
Designed interactive music for steam released game "Stoneman's Adventure"
Aug 1, 2023