Distributed Protocols

Theorem Proving

Lean 4

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

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

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.

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.