Postdoc (Projektassistent) at Forsyte, Institute of Information Systems, TU Wien.
I am looking for PhD students who like to develop new model checking techniques and tools in the new project APALACHE. If you are interested, write me a message.
Principal investigator in the project “APALACHE: Abstraction-based parameterized TLA checker“, together with Josef Widder (co-PI) and Helmut Veith (core team).
Tools and case studies
- member of External Review Committee at CAV 2016.
- co-organizer of FRiDA’16, FRiDA’15 and FRiDA’14.
- PC member of SYNASC’16, SSS’15 (Formal Methods and Distributed Algorithms track), TMPA’15, SYNASC’13.
- workshop chair at CAV 2013, co-organized by Forsyte.
Research interests: Model Checking, Parameterized Model Checking, Verification of Distributed Algorithms.
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. More details to be found in my Curriculum Vitae.
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.
Please also note that Prof. Igor Vasilyevich Konnov is not me, he is working in another field. Sometimes, both full names are shortened to “Igor V. Konnov” in the papers. Please do not ask me to review papers on equilibrium problems.