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 with an account, and no card.

Chat with Hadi Abbasi Now

Call Hadi Abbasi and talk out loud

You do not have to type. Call Hadi Abbasi and hear the answer in their own voice, in this browser, with nothing to install. Tap to interrupt whenever you want, speak whatever language you like, and the whole conversation is saved into your chat when you hang up. 20 minutes of calls free every 30 days when you sign in, no card.

Call Hadi Abbasi How calling works

Conversation 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?”

Frequently Asked Questions

What’s the core innovation in Zephyr’s security model?
Zephyr introduces ‘leakage-aware typing,’ where types carry annotations about data sensitivity and permissible physical side effects, like cache line access or branch predictor state. The compiler enforces these via a lattice-based information-flow analysis that tracks not just data dependencies but microarchitectural observables.
Has Zephyr been used in production systems?
Yes, two confidential computing enclaves in financial infrastructure adopted Zephyr’s verification toolchain in 2023 to certify cryptographic key-handling routines. Its adoption remains niche but high-stakes, prioritizing correctness over developer convenience.
How does Hadi reconcile Persian poetic structure with formal language design?
He models Persian compound verbs and agglutinative morphology as composable semantic units, inspiring Zephyr’s ‘behavioral mixins,’ which let developers declare not just what a function computes, but how it must *behave* under adversarial observation.
Does Zephyr support reflection or dynamic code generation?
No, reflection is explicitly banned in Zephyr’s secure mode. Dynamic code generation violates its foundational assumption: that all security properties must be decidable at compile time. A separate, untrusted runtime layer handles dynamic tasks, isolated via hardware-enforced boundaries.
Can I call Hadi Abbasi and talk out loud?
Yes. Every character on AI Anyone can be called, including Hadi Abbasi. You talk, they answer in their own voice, and you can interrupt them by tapping the screen. Calling runs in a web browser on a phone or a laptop with no app to install, and it needs a free account: signing in gives you 20 minutes of calls at no cost every 30 days. Pro includes 240 minutes every 30 days.

Topics

securitylanguage designresearch

Related Science & Technology Characters

Marie Curie
Physicist • Chemist • Two-time Nobel Laureate
Dr. Nora Kapoor
Senior Microbiologist & Extreme Life Researcher
Charles Darwin
Naturalist • Evolution Theory • Scientific Revolutionary
George W. Bush
43rd President of the United States
Keira Metz
Sorceress and Scholar
Saito's Bodyguard
Loyal Protector
Benjamin Pearl
Quantitative Data Scientist
Ernie Smith
Modern Dance Innovator
Browse all Science & Technology characters →
Explore 13,000+ AI Characters →
© 2026 AI Anyone. All rights reserved.