Workshop with Thomas Pani
Talks & lectures
Invited talks, conference presentations, workshops, and tutorials on TLA+, Apalache, Quint, and the protocols they check.
2026
Workshop
Interactive symbolic testing with TLA+, Apalache, and LLMs
2025
Workshop
Hands-on symbolic search & test generation with Apalache
NVidia FM Week, online
2024
Talk
How model checking can help build trust in distributed protocols like Single Slot Finality
Panel
Formal verification in the Ethereum Protocol: current status and future directions
Talk
Specification and model-checking of the ZKsync Governance Protocol
2023
Workshop
Finding bugs for fun & profit with Informal Systems
Cosmoverse, Istanbul
Lectures
Quint, TLA+, and Apalache
VTSA’23 summer school, Nancy
2021
2020
Talk
How TLA+ and Apalache helped us design the Tendermint Light Client
Interchain Conversations II, online
Talk
Formal spec and model checking of the Tendermint Blockchain Synchronization Protocol
FMBC, online
Tutorial
Parameterized verification with Byzantine Model Checker
DISCOTEC / FORTE, online
2018
Talk
Bounded Model Checking of TLA+ Specifications with SMT
TLA+ Community Meeting 2018, Oxford, UK
More talks are listed in the CV.