Systems & Full-Stack Engineer building reliable compilers, cryptographic protocols, and web applications.
- Languages & Systems: Rust, Go, TypeScript, SQL
- Compiler & Static Analysis: Ownership/aliasing verification, interprocedural escape analysis, AST/IR lowering, differential fuzzing
- Web3 & Smart Contracts: Soroban / Stellar (wasm32), settlement engines, constant-time cryptography & authenticated framing (AES-GCM / GMAC)
- Full-Stack & Quality: Next.js, React, Express, PostgreSQL, Redis, Prisma, Vitest, Playwright E2E
- GrantFox Contributor Profile: contribute.grantfox.xyz/public/profile/produckq-boop