About me
Igor Konnov is an independent security and formal methods researcher, practicing formal verification, differential testing, and fuzzing of distributed protocols. He is the principal maintainer of Apalache, a symbolic model checker for TLA+, under the Linux Foundation and TLA+ Foundation.
Igor worked as a research scientist in industry and academia:
Informal Systems, Interchain Foundation, Inria Nancy, TU Wien, and Lomonosov Moscow State University.
