Devakh Rashie

Hey, I'm Dev. Interested in formal methods, blockchain security, and AI safety. How lucky we are to be living in a time like this.

Experience

  1. Building Biject — conquering ambiguity.

  2. Blockchain Researcher at Ohio State — replay-attack detection, cross-chain transaction validation.

  3. Software Engineer at Pennyworks — built Penny, a crypto accounting assistant, and csv2api-router.

  4. Software Engineer at Radus Software — full-stack intranet, 2FA, security hardening.

Work

  1. lean-agent-protocol — Lean 4 formal verification kernel for AI agent compliance, replacing probabilistic guardrails with mathematical proof (Python, Lean 4). GitHub.

  2. EventLoop — ride-sharing SaaS for event transportation (Next.js, PostgreSQL). GitHub.

  3. csv2api-router — NL-to-API pipeline using local LLMs (Python). GitHub.

  4. Semiconductor Geopolitics Ops — NLP/network-graph analysis of media narratives. GitHub.

  5. Jane Street Puzzle Solutions — probability/combinatorics puzzles, Monte Carlo, Manim visualizations. GitHub.

Reading

  1. Siddhartha — Hermann Hesse.

  2. A River in Darkness — Masaji Ishikawa.

  3. Into the Wild — Jon Krakauer.

  4. The Stoker — Franz Kafka.

Other

  1. Based in Virginia. Always down to talk formal methods or math puzzles.

  2. Reach me at devrashie[at]gmail.com, or on GitHub and X.