Egor Kuzmin

Academic Qualifications

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».

Research Interests

formal models of computational systems;

modeling, specification and verification of program systems;

programmable logic controller;

signal processing.


Author and co-author of over 80 publications, 2 monographs and 5 textbooks.


P.G. Demidov Yaroslavl State University. Professor of the department of theoretical information science.


P.G. Demidov Yaroslavl State University

Programming logical controllers;

Specification and verification of programs of logical controllers;

Non-classical logics;

Program verification;

Theoretical foundations of informatics.

Professional Activities

Editorial board secretary of the science journal «Modeling and Analysis of Information Systems».