Research for the LSD-S3 Lab!

• Distributed Protocols

• Theorem Proving

• Lean 4

• Core platform team for enterprise search and agentic AI.

• Mass-migrated insecure permission rules to a new permissions strategy.

• Spearheaded multi-threaded permission audit event tracing and serialization project.

Left to go back to school

• Decreased frame-decode CPU usage by 90% by identifying GC thrashing.

• Refactored video service into a pub-sub system to allow multiple concurrent viewers.

• Decoupled client-server code to enable connection over LAN.

• Reduced video data sent to client by 25%.

• Halved front-end build times using Makefiles and Vite.

• Authored "foundatsion" type validation library.

• Built TypeScript compiler transformer for type-conversion and inlining.

• Created automated, type-safe smart contract integration using code generation.

• Developed and gas optimized an Ethereum Smart Contract infrastructure.