Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021 Online
Igor Konnov

Registered user since Fri 28 Oct 2016

Name: Igor Konnov

Country: Austria

Affiliation: Informal Systems Inc

Personal website: https://konnov.github.io/

Research interests: Verification, Model Checking, Distributed Algorithms


VMCAI 2021 Eliminating Message Counters in Synchronous Threshold Automata
CPP 2021 Specification and model checking of Tendermint consensus in TLA+
Show activities from other conferences

POPL 2021-profile
View general profile