Igor Konnov is a postdoc (Universitatsassistent) at the Formal Methods in Systems Engineering Group, Institute of Information Systems of TU Wien (Vienna University of Technology). His research interests include model checking, parameterized model checking, and verification of distributed algorithms. He received his Specialist (comparable to MSc) and PhD degrees in Applied Mathematics and Computer Science from Lomonosov Moscow State University. In his PhD thesis, he introduced new techniques for parameterized model checking.