This Site Is Using an Outdated PHP Version

Dear site owner,
We have detected that this site is using an obsolete PHP version.
PHP version 7.4.32 will be removed from the server configuration on January 1, 2026.
Please update your site software to support a newer PHP version (minimum: 8.2.0, recommended: 8.5.X).
After upgrading your site software, please notify us at help+www at knu.ua.
You can also find instructions on how to change the PHP version yourself here.

Employees | Department of Intelligent Software Systems | Taras Shevchenko National University of Kyiv

Employees

Serhii L. Kryvyi

Serhii L. Kryvyi

Professor,
DSc. in Computer Science,
Professor
Links: Scopus, Publons, IEEE Xplore, Google Scholar, DBLP, zbMATH, ORCID.

Email: krivoi At i Dot com Dot ua

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:

  1. 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.
  2. 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.
  3. 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.
  4. 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.
  5. 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.
  6. 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.
  7. 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.
  8. 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.
  9. 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.
  10. 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.
  11. 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.
  12. 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.
  13. 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.
  14. 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.
  15. 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.
  16. S. L. Kryvyi Finite-state automata in information technologies // Cybernetics and Systems Analysis, 2011, Volume 47, Issue 5, pp. 669-683.
  17. 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.
  18. 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.
  19. 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.
  20. 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.
  21. 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.
  22. 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.
  23. 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.
  24. S. L. Kryvyi Combinatorial Method for Solving Systems of Linear Constraints // Cybernetics and Systems Analysis, 2014, Volume 50, Issue 4, pp. 495-50.
  25. 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.
  26. 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:

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