Projects | Ruichen (Richard) Liu

Ruichen (Richard) Liu

Home
Fabrication
News
Projects
Blogs
CV

Projects

Verified Interpreter for CNC G-code in Lean 4

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

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

Wwise Interactive Sound Design Showcase

A showcase of my work in Wwise design in games.

Jun 11, 2025

Titanium Color "Printing" Using Electrochemical Anodization

Titanium Color "Printing" Using Electrochemical Anodization

A CNC approach to creating titanium color prints using a 3D printer

Mar 12, 2025

Titanium Laser Printing

Titanium Laser Printing

Using a laser cutter to "print" colors on titanium

May 19, 2024

Indie Game Stoneman's Adventure

Indie Game Stoneman's Adventure

Designed interactive music for steam released game "Stoneman's Adventure"

Aug 1, 2023

© 2026 Ruichen (Richard) Liu. This work is licensed under CC BY NC ND 4.0

Published with Hugo Blox Builder — the free, open source website builder that empowers creators.