Independent security & formal methods researcher
Page · Research
Research
Independent research on specification and verification of distributed protocols, with a focus on TLA+, Quint, Apalache, and the systems that need them.
§ 01 · Roles
Principal Research Scientist · Informal Systems
Senior Research Scientist · Interchain Foundation
Researcher · Inria Nancy — Veridis Team
Researcher and assistant professor · TU Wien — Forsyte
PhD student and researcher · Lomonosov Moscow State University
§ 02 · Recent engagements & grants
Security audits with Aztec Labs
Engagement with Asymmetric Research
Three projects with Matter Labs
Grant from the Ethereum Foundation
Grant from the Stellar Community Fund
§ 03 · Research & open-source projects
Apalache
Symbolic model checker for TLA+ and Quint.
Apalache has moved →
active
Quint
Executable specification language.
Another look at the logic of TLA+ →
past
ByMC
Parameterized model checker for threshold-guarded fault-tolerant distributed algorithms.
Github repo →
past
§ 04 · Publications
Full list of publications and preprints:
§ 05 · PhD alumni
- · Dr.in Marijana Lazić
- · Dr. Thanh-Hai Tran
- · Dr. Jure Kukovec
§ 06 · Conference organisation
Co-Chair of CONCUR 2020 with Laura Kovács. More in the CV.
Next