Curated highlights with measurable impact
// ════════════════════════════════════════════════════════════════════ // FEATURED PROJECTS - Curated highlights with measurable impact // These projects demonstrate my ability to deliver results // ════════════════════════════════════════════════════════════════════
Custom coprocessor for real-time transformer inference
A CVXIF coprocessor that extends RISC-V with custom INT8 multiply-accumulate (MAC) instructions, optimized for batch-1 tail latency. Ideal for real-time transformer inference, voice assistants, and local LLM attention workloads.
Capability-based security for AI agents
A security framework solving the 'over-privileged agent' problem by shifting from identity-based to capability-based security. Issues task-scoped, context-aware credentials with instant revocation and cryptographic proofs.
Protocol-agnostic hybrid verification for distributed systems
Combines symbolic execution (KLEE) and formal modeling (TLA+) with bidirectional counterexample exchange. Enables comprehensive verification of any distributed or concurrent system with automatic property synthesis.
╔═══════════════════════════════════════════════════════════════════╗
"The only way to do great work is to love what you do."
- Steve Jobs
╚═══════════════════════════════════════════════════════════════════╝