Compilers @ Intel · Formal Methods @ Hypercubic · Cornell CS & Mathematics
Formal methods · Compilers · Programming languages · U.S. Top Secret Security Clearance
San Jose, CA / Bay Area · Ithaca, NY · Los Angeles, CA
Owl: Runtime Verification for Distributed Gleam Programs
Sep 14, 2026
VOX: A Production-Ready Academic Journal Platform
Feb 22, 2026
Bo Nix: Building a Compiler for Eta and Rho
Feb 21, 2026