I speak about the same boundary I study in this blog: how first-principles reasoning and formal guarantees meet engineering systems operated by people.
Agentic software development
Stop pedaling: First principles for spec-driven agentic development
TezDev 2026, Cannes. A practical argument for moving engineering effort from generating more code toward specifications, checks, knowledge, and the loop around the agent.
Video, twenty minutes · Slides · Conference programme · Start with the related essays
Tezos engineering
How Ushuaia prepares Tezos for shared applications
TezTalks Radio, episode 121, May 2026. A conversation about the protocol work required for EVM and Michelson applications to share one environment, and about the engineering constraints behind the Tezos X roadmap.
Podcast series · Episode announcement
Latency, instant confirmation, and the next phase of Tezos
TezTalks Radio, episode 116, February 2026. What latency and finality mean for people using applications, how they fit into Tezos X, and which unknowns the engineering team still has to navigate.
Tezos X: The next stage of evolution
TezDev 2024, Brussels. A keynote on the state of Tezos, its engineering challenges, and the roadmap toward Tezos X.
Earlier research talks
My earlier talks and publications cover Coq proof engineering, modular verification, programming-language semantics, incremental computation, and POSIX shell parsing. The Researchr contribution record is the most useful public index currently available; a stable personal bibliography will replace it here when one is assembled.
Invitations
I am particularly interested in conversations where software engineering, formal reasoning, and agent-driven development meet. Contact me through GitHub or X.