Igor V. Konnov
I have moved to the group of Formal Methods in Systems Engineering, Institute of Information Systems, Vienna University of Technology. In five seconds you will be redirected to my new homepage.
If you do want to stay on this page, then click this link.
I was a junior research fellow in Computer Systems Laboratory (LVK) which is a part of Computer Systems Department (ASVK), Faculty of Computational Mathematics and Cybernetics (Computer Science), Lomonosov Moscow State University.Curriculum vitae and research statement (early 2011).
My research interests include program verification, models of concurrent programs, model checking of concurrent programs, and static analysis. In November of 2008 I defended PhD thesis on "Parameterized Model Checking of Distributed Systems" under supervision of Assoc. Prof. Vladimir A. Zakharov and Prof. Ruslan L. Smeliansky.
The main idea of the work was to compute a special kind of weak simulation between representatives of parameterized family and thus find an invariant. My approach was to compute semi-block simulation between labelled transition systems generated by network grammars. Whenever an invariant was found, the parameterized model checking problem was reduced to that of checking several instances of the family. This allowed us to automatically check local properties of several parameterized families specified by ACTL*-X formulae. The technique is useful in the case of asynchronous parallel composition, where strong simulation often happens to be too strict.
The details may be found in KZ10_JSC, K10_CHEAPS, K08_MAIS (in English) and the Ph.D. thesis (in Russian). The technique described there has been implemented in CheAPS tool.
I assist Konstantin Savenkov with the course on software model checking.
The materials of the course on Model Checking I read in Astana, Kazakhstan, 2011 (in Russian).
Research papers
Please, take a look at the list of my publications.Students
- Andrey Babak and Anton Artyomov on ("Static Analysis of Python Programs", co-advising with Dr. Kozlov).
- Alexander Mischenko ("Static analysis of types in Python programs on the byte-code level", co-advising with Dr. Kozlov).
Graduated students:
- Denis Sigaev ("Detection of Programs Protected from Reverse Engineering", co-advised with A.I. Kachalin),
- Alexey Schevchenko ("Application of Regular Model Checking to Infinite-State Systems"),
- Peter Bulychev ("Game-theoretic Techniques of Protocol Verification", co-advised with Assoc. Prof. V.A. Zakharov).
Contacts
| e-mail: |  |
||||||
| Office phone: | +7 495 939 4671 | ||||||
| Fax: | +7 495 939 2596 | ||||||
| Postal address: |
|
Hobbies
Some may be found at hobbies page.P.S.
I am not Igor Vasilyevich Konnov from Kazan State University (my second name is Vladimirovich), though I would like to have such a long list of papers :)