My Writings

• The Verification Gap: What Proofs Actually Guarantee — June 27, 2026
• Proving Fast Mersenne Modulo Correct in Lean 4 — May 10, 2026
• Formal Golden Models for RTL Verification with Lean4 — April 15, 2026
• Lean4 Tactics I Keep Coming Back To — October 22, 2025
• Datapath Verification of Floating-Point Multipliers with Case Splitting — September 19, 2025
• The Carbon Nanotube Revolution: How Next-Generation Computing Could Transform the GPU Industry — July 27, 2025
• Understanding Memory Coherency and Cache Coherence Protocols — July 14, 2025
• Category Theory, Abstraction and Computer Science — June 30, 2025
• Welcome to My Blog — June 22, 2025