projects

some things i've made

Sequential Quantum Circuits for Fracton Phases

Developing preperation and enconding SQCs for exoctic Fracton Phases including Haah Cubic Code, Cage-Net Ising, and 4+1D Toric code. Working under Professor Xie Chen. Funded by Ph11 Program.

Relaxation dynamics of the Inertial Winfree model

Studied synchronization in the second-order Inertial Winfree model, proving new oscillator-death and zero-inertia synchronization results under explicit smallness conditions. Pre-Print

smaller things

• ⊗ Starling Murmuration Modeling Lyapunov stability and statistical mechanics to model flocking dynamics in starlings.
• ⊗ Custom Interactive Theorem Prover -- In Progress Buiding a small dependently typed proof assistant with a trusted proof-checking kernel from scratch.
• ⊗ Emergency Equipment Drone Delivery System Developed 6ft wingspan autonomous dual-system VTOL to deliver AED payloads 5 miles within 5 minutes.