Igor Konnov
In 2019, I joined Interchain Foundation (the Vienna office). See my meta-webpage.
In 2018, I moved to VeriDis team (LORIA & INRIA Nancy, France). See my new web page.
Postdoc researcher (Projektassistent) at Forsyte, Institute of Information Systems, TU Wien.
Projects and tools
- Principal investigator in the project “APALACHE: Abstraction-based parameterized TLA checker“, together with Josef Widder (co-PI) and Helmut Veith (core team).
- Author of the Byzantine Model Checker (ByMC) and Checker of Asynchronous Parameterized Systems (CheAPS).
Academic service
- co-organizer of FRiDA’18, FRiDA’17, FRiDA’16, FRiDA’15 and FRiDA’14.
- Artifact Evaluation Chair at CAV’18
- PC member of FMCAD’18, PODC’18, VECOS’18, PSSV’18, 4PAD’18, MeTRiD’18, FMCAD’17, SYNASC’17, TMPA’17, PSSV’17, PDP’17, SYNASC’16, SSS’15 (Formal Methods and Distributed Algorithms track), TMPA’15, SYNASC’13.
- member of External Review Committee at CAV 2016.
- workshop chair at CAV 2013, co-organized by Forsyte.
Case studies
Check our case studies of fault-tolerant distributed algorithms.
Publications
You can find the list of my papers and talks at the publications page, some of them are at dblp (see the clarification at the bottom).
Research interests: Model Checking, Parameterized Model Checking, Verification of Distributed Algorithms.
Profiles: dblp, Google Scholar, ResearchGate, ORCID
Curriculum vitae: konnov-cv.pdf
Small things: beamer-preview, csvtools, converting beamer to powerpoint
Address:
|
I received my PhD in Feb. 2009 (called “candidate of physico-mathematical sciences” in Russia) and Specialist degrees in Applied Mathematics from Lomonosov Moscow State University. In Nov. 2008, I defended my PhD thesis on Parameterized Model Checking of Distributed Systems (in Russian) under supervision of Vladimir A. Zakharov and Ruslan L. Smeliansky.
How to parse my name: Igor (Игорь) is my first name and Konnov (Коннов) is my last name; I also bear the second name Vladimirovich (Владимирович) after my father, but it is usually omitted outside of Russia. That is — and this is for Google Scholar — my full name is Igor Vladimirovich Konnov.
Please also note that there are other researchers, whose names are written as “Igor V. Konnov” or “I.V. Konnov”, and whose names I do not mention here to help Google Scholar. I cannot review papers on equilibrium problems.