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.

Publications

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

http://orcid.org/0000-0003-0500-306X

http://www.researcherid.com/rid/S-3972-2016

Positions

Teaching

Programming logical controllers;

Specification and verification of programs of logical controllers;

Non-classical logics;

Program verification;

Theoretical foundations of informatics.

Professional Activities