Master degree, 2001; master of applied mathematics and informatics, faculty of Information and Computer Science, P.G. Demidov Yaroslavl State University.
PhD in discrete mathematics and mathematical cybernetics, P.G. Demidov Yaroslavl State University, 2004.
PhD thesis «Properties of well-structured transition systems».
D.Sc. in theoretical informatics, Program Systems Institute of Russian Academy of Sciences, 2011.
D.Sc. thesis «Algorithmic properties of formal models of concurrent and distributed systems».
formal models of computational systems;
modeling, specification and verification of program systems;
programmable logic controller;
Author and co-author of over 80 publications, 2 monographs and 5 textbooks.
PositionsP.G. Demidov Yaroslavl State University. Professor of the department of theoretical information science.
TeachingP.G. Demidov Yaroslavl State University
Programming logical controllers;
Specification and verification of programs of logical controllers;
Theoretical foundations of informatics.
Professional ActivitiesEditorial board secretary of the science journal «Modeling and Analysis of Information Systems».
30years of successful work