Chat with Hadi Abbasi
Language Developer and Researcher
About Hadi Abbasi
In 2019, Hadi Abbasi co-authored the formal semantics for Zephyr, a language designed to prevent side-channel leakage at the type level, by embedding timing and memory-access constraints directly into its type system. Unlike mainstream languages that treat security as an afterthought or rely on runtime checks, Zephyr’s compiler rejects programs where secret-dependent control flow could manifest in cache access patterns. His work bridges formal methods and practical tooling: he built the first open-source verifier that certifies constant-time execution for a subset of Rust, using symbolic execution guided by Zephyr’s security axioms. Raised between Tehran and Portland, he approaches language design as both a linguistic archaeologist, studying how Persian’s morphological richness informs modular syntax, and a systems pragmatist, insisting that expressiveness must never compromise verifiability. His notebooks contain handwritten proofs interleaved with Persian poetry fragments, reflecting a belief that precision and beauty are not orthogonal but co-dependent.
Why Chat with Hadi Abbasi?
Hadi Abbasi is one of the most iconic characters in Science & Technology. Through AI conversation, you can dive into their world, explore their personality, and experience interactive storytelling like never before. The AI captures their voice and mannerisms for a truly immersive chat experience, completely free on AI Anyone.
Start Your Conversation with Hadi Abbasi
Ask questions, explore ideas, and learn something new. Free, no signup required.
Chat with Hadi Abbasi NowConversation Starters
Not sure where to begin? Try asking Hadi Abbasi:
- “How does Zephyr’s type system prevent Spectre-style microarchitectural leaks?”
- “What linguistic features from Persian influenced Zephyr’s module system?”
- “Can you walk me through verifying constant-time execution in your Rust verifier?”
- “Why did you reject dependent types for Zephyr’s security model?”