Igor Konnov

Senior research scientist at Informal Systems

You can always reach me by writing a message on igor.konnov at gmail.com

The meta-site of my academic sites, permanently under construction

Previous academic web pages:

• Inria Nancy – Veridis Team
• TU Wien – Forsyte
• Moscow State University – LVK

Active open source projects

• APALACHE: symbolic model checker for TLA+
• ByMC: parameterized model checker for threshold-guarded fault-tolerant distributed algorithms

Slides

• Tutorial at VMCAI Winter School 2020, pdf

Publications

• See my publications at Veridis
• Habilitation thesis submitted to the Faculty of Inforfmatics of TU Wien in 2018, defended in October 2019.

PhD students

• Jure Kukovec
• Thanh-Hai Tran

Alumni

• Dr. Marijana Lazić

Academic and non-academic profiles:

• ORCID
• Google Scholar
• LinkedIn
• DBLP
• ResearchGate

CV

Curriculum Vitae, December 2019