# Employees

### Education and Career:

1972 — graduated from Taras Shevchenko National University of Kyiv, Faculty of Cybernetics.

1978 — graduated from PhD Studies (Theoretical Computer Science), V.M. Glushkov Institute of Cybernetics of NAS of Ukraine.

1982 — defended PhD thesis «Search of programs' invariants over free algebras of data». Academic supervisor — Doctor of Physical and Mathematical Science, Professor, Academician of NAS of Ukraine Alexander A. Letychevskyy.

1998 — defended Doctoral thesis «Iterative methods of analysis of programs over single-level memory». Scientific consultant — Doctor of Physical and Mathematical Science, Professor, Academician of NAS of Ukraine Alexander A. Letychevskyy.

1975-1986 — Junior Researcher, Department of theory of digital automata, V.M. Glushkov Institute of Cybernetics of NAS of Ukraine.

1986-1991 — Researcher, Department of theory of digital automata, V.M. Glushkov Institute of Cybernetics of NAS of Ukraine.

1991 1998 — Senior Researcher, Department of theory of digital automata, V.M. Glushkov Institute of Cybernetics of NAS of Ukraine.

1992-1998 — Associate Professor, Department of applied mathematics and informatics, Kyiv National University of Technologies and Design.

1998-2000 — Head of Department of design technologies, Kyiv National University of Technologies and Design.

1998-2008 — Leading Researcher, Department of theory of digital automata, V.M. Glushkov Institute of Cybernetics of NAS of Ukraine.

2008-2016 — Professor, Department of Information Systems, Faculty of Cybernetics, Taras Shevchenko National University of Kyiv.

2016-2019 — Professor, Department of Information Systems, Faculty of Computer Science and Cybernetics, Taras Shevchenko National University of Kyiv.

Since 2019 — Professor, Department of Intelligent Software Systems, Faculty of Computer Science and Cybernetics, Taras Shevchenko National University of Kyiv.

### Activities:

2008-2010 — Member of Specialized Scientific Councils of Space Research Institute NAS and NSA of Ukraine.

2008-2011 — Member of Specialized Scientific Councils of National Aviation University.

Currently is a member of:

- Specialized Scientific Councils of V.M. Glushkov Institute of Cybernetics of NAS of Ukraine,
- Specialized Scientific Councils of Taras Shevchenko National University of Kyiv.

### Research Interests:

- Automata theory.
- Theory of Petri nets.
- Software verification.
- Discrete mathematics.
- Computational complexity theory.
- Recursion theory.
- Technology of software creation.
- Applied mathematical logic.
- Graph theory.
- Cryptography.

### Selected papers:

- S. Kryvyy, L. Matvyeyeva, M. Lopatina Automatic Modeling and Analysis of MSC-specified Systems // Fundamenta Informaticae, 2005, Volume 67, Number 1-3, pp. 107-120.
- S. Krivoi, L. Matvyeyeva, W. Grzywacz Automata-based method for solving systems of linear constraints in {0, 1} // International Journal "Information Theories & Applications", 2005, Volume 12, Number 4, pp. 362-368.
- S. L. Kryvyi, A. N. Chebotarev Checking the satisfiability of formulas represented in disjunctive normal form in the language L. II // Cybernetics and Systems Analysis, 2005, Volume 41, Issue 6, pp. 800-807.
- S. Krivoi, M. Hajder, P. Dymora, M. Mazurek The matrix method of determining the fault tolerance degree of computer network topology // International Journal "Information Theories & Applications", 2006, Volume 13, Number 3, pp. 221-227.
- S. L. Kryvyi Algorithms for solving systems of linear diophantine equations in integer domains // Cybernetics and Systems Analysis, 2006, Volume 42, Issue 2, pp. 163-175.
- S. L. Kryvyi Algorithms for solution of systems of linear diophantine equations in residue fields // Cybernetics and Systems Analysis, 2007, Volume 43, Issue 2, pp. 171-178.
- A. Chebotarev, S. Krivoi Improved Resolution-Based Method for Satisfiability Checking Formulas of the Language L // Perspectives of Systems Informatics, 2007, Volume 4378 of the series Lecture Notes in Computer Science pp. 438-442.
- S. L. Kryvyi Algorithms for solving systems of linear diophantine equations in residue rings // Cybernetics and Systems Analysis, 2007, Volume 43, Issue 6, pp. 787-798.
- S. Kryvyi, L. Matvyeyeva Algorithm of translation of MSC-specified System into Petri Net // Fundamenta Informaticae, 2007, Volume 79, Number 3-4, pp. 431-445, 2007 pp. 68-79.
- S. Krivoi, L. Matveyeva, Y. Lukianova, О. Sedleckaya Ontology View on Automata Theory // International Journal "Information Theories & Applications", 2008, Volume 15, Number 4, pp. 337-344.
- S. Kryvyi, O. Chugayenko Extended Algorithm for Translation of MSC-Diagram into Petri Nets // International Book Series Information Science & Computing, Book 1: Algorithmic and Mathematical Foundations of the Artificial Intelligence, ITHEA, 2008, pp. 68-74.
- S. Kryvyi, O. Khodzinskyi Presentation of ontologies and operations on ontologies in finite-state machines theory // International Journal "Information Theories & Applications", 2009, Volume 16, Issue 4, pp. 349-355.
- S. L. Kryvyi, A. V. Chugayenko Formal methods for analysis of discrete systems using a specification language // Cybernetics and Systems Analysis, 2009, Volume 45, Issue 4, pp. 528-543.
- S. L. Kryvyi An algorithm for constructing the basis of the solution set for systems of linear Diophantine equations over the ring of integers // Cybernetics and Systems Analysis, 2009, Volume 45, Issue 6, pp. 875-880.
- S. L. Kryvyi, O. V. Chugayenko, L. E. Matveeva Exploring the properties of MSC documents by translating them into Petri nets // Cybernetics and Systems Analysis, 2009, Volume 45, Issue 6, pp. 997-1003.
- S. L. Kryvyi Finite-state automata in information technologies // Cybernetics and Systems Analysis, 2011, Volume 47, Issue 5, pp. 669-683.
- V. N. Opanasenko, S. L. Kryvyi Partitioning the full range of boolean functions based on the threshold and threshold relation // Cybernetics and Systems Analysis, 2012, Volume 48, Issue 3, pp. 459-468.
- S. L. Kryvyi, P. Dymora, M. Mazurek The computational algorithm for supported solutions set of linear Diophantine equations systems in a ring of integer numbers // International Journal of Modern Engineering Research, 2012, Volume 2, Issue 6, pp. 4133-4137.
- S. L. Kryvyi, O. M. Maksymets Program Verification: State of the Art, Problems, and Results. I // Cybernetics and Systems Analysis, 2013, Volume 49, Issue 6, pp. 805-814.
- A. Palagin, V. Opanasenko, S. Krivoi The structure of FPGA-based cyclic-code converters // Optical Memory and Neural Networks, 2013, Volume 22, Issue 4, pp. 207-216.
- S. Kryvyi, O. Maksymets Program Invariants Generation over Polynomial Ring using Iterative Methods // International Journal "Information Theories & Applications", 2013, Volume 20, Number 2, pp. 113-121.
- S. Kryvyi, D. Bibikov Analysis and processing of the text information aimed at extracting basis knowledge // International Journal "Information Content and Processing", 2014, Volume 1, Number 1, pp. 28-36.
- S. L. Kryvyi, O. M. Maksymets Program Verification: State of the Art, Problems, and Results. II // Cybernetics and Systems Analysis, 2014, Volume 50, Issue 1, pp. 8-16.
- S. L. Kryvyi Combinatorial Method for Solving Systems of Linear Constraints // Cybernetics and Systems Analysis, 2014, Volume 50, Issue 4, pp. 495-50.
- V. N. Opanasenko, S. L. Kryvyi Synthesis of Adaptive Logical Networks on the Basis of Zhegalkin Polynomials // Cybernetics and Systems Analysis, 2015, Volume 51, Issue 6, pp. 969-977.
- S. L. Kryvyi Solution Algorithms for Systems of Linear Equations Over Residue Rings // Cybernetics and Systems Analysis, 2016, Volume 52, Issue 5, pp. 791-801.

### Teaching:

**Mathematical Foundations of Information Security**(lectures) — 4th year bachelors, 121 Software Engineering.**Constraint Programming**(lectures) — 4th year bachelors, 121 Software Engineering.**Theoretical Foundations and Methods of Information Systems Development**(lectures, labs) — 1st year masters, 121 Software Engineering.**Algebraic and Automata-Based Methods of Software Design**(lectures, labs) — 1st year masters, 121 Software Engineering.**Software-oriented logic**(lectures) — 1st year masters, 121 Software Engineering.