Systems programmer and compiler engineer focused on programming language semantics, intermediate representations, low-latency execution runtimes, and compile-time memory safety without garbage collection.

• Language Design & Semantics: Creator and lead architect of Datara (.dtr). Developed an affine ownership model that eliminates runtime GC pauses and manual lifetime annotations through lexical scoping and formal static proofs.
• Compiler Pipelines & SSA IR: Architected the forgen multi-backend compiler pipeline. Built SSA-based intermediate representations (DMIR) with formal optimization passes including SROA (Scalar Replacement of Aggregates), Mem2Reg, Bound-Check Elimination (BCE), and Common Subexpression Elimination (CSE).
• Dual Execution Engines: Integrated Cranelift for sub-50ms instant JIT developer feedback alongside LLVM AOT (-O3 -flto) for peak vectorized machine code execution and WebAssembly for sandboxed runtimes.
• Modern Tooling & Language Infrastructure: Extensive engineering experience across TypeScript, JavaScript, and Node.js runtimes — authoring language tooling, AST parsers, TextMate grammar specifications, and LSP infrastructure.
• Cryptographic Security & Package Ecosystems: Designed Sparks, an Ed25519-signed decentralized package manager with capability-guarded sidecars (.capabilities.json) preventing supply-chain attacks.