Sergey V. Sapunov

Position: Scientific Secretary

Degree: Doctor of Philosophy

E-mail: sapunov@nas.gov.ua

Research Fields: Theoretical Computer Science, in particular: Automata Theory, Graph Theory, Algorithms.

1996 MSc degree in mathematics, Sloviansk State Teacher Training Institute, Slavyansk, Ukraine
2007 Ph.D. in mathematics (theoretical computer science), V.M. Glushkov Institute of Cybernetics, National Academy of Sciences of Ukraine, Kyiv, Ukraine

2021-present Scientific Secretary, Institute of Applied Mathematics and Mechanics of the National Academy of Sciences of Ukraine, Sloviansk, Ukraine
2017-2021 Senior researcher, Institute of Applied Mathematics and Mechanics of the National Academy of Sciences of Ukraine, Sloviansk, Ukraine
2016-2017 Research associate, Institute of Applied Mathematics and Mechanics of the National Academy of Sciences of Ukraine, Sloviansk, Ukraine
2014-2016 Research associate, Institute of Mathematics of the National Academy of Sciences of Ukraine, Kyiv, Ukraine
2014-2018 Associate professor (part time), Faculty of Physics and Technology, Vasyl’ Stus Donetsk National University, Vinnytsia, Ukraine
2009-2014 Research Associate, Institute of Applied Mathematics and Mechanics of the National Academy of Sciences of Ukraine, Donetsk, Ukraine
2008-2013 Associate professor (part time), Faculty of Physics and Technology, Donetsk National University, Donetsk, Ukraine
2005-2009 Junior Research Fellow, Institute of Applied Mathematics and Mechanics of the National Academy of Sciences of Ukraine, Donetsk, Ukraine
2003-2005 Engineer, Institute of Applied Mathematics and Mechanics of the National Academy of Sciences of Ukraine, Donetsk, Ukraine
2003-2008 Assistant (part time), Faculty of Physics and Technology, Donetsk National University, Donetsk, Ukraine
1997-2000 Assistant, Faculty of Physics and Mathematics, Sloviansk State Teacher Training Institute, Sloviansk, Ukraine

Sapunov, S.V. (2021) Experiments on Recognition of Infinite Grid Graph Labelling. Proceedings of the Institute of Applied Mathematics and Mechanics of the NAS of Ukraine, 35 (1), 67-78. https://doi.org/10.37069/1683-4720-2021-35-6

Sapunov, S.V., Senchenko, A.S., & Sereda, O.A. (2020). Metric properties of the canonical defining pair for determined graphs. Proceedings of the Institute of Applied Mathematics and Mechanics of the NAS of Ukraine, 34. 134-145. https://doi.org/10.37069/1683-4720-2020-34-13

Sapunov, S.V. (2020). Minimal Deterministic Traversable Vertex Labelling of Infinite Square Grid Graph. Proceedings of the Institute of Applied Mathematics and Mechanics of the NAS of Ukraine, 34. 118-133. https://doi.org/10.37069/1683-4720-2020-34-12

Sapunov, S.V. (2019). Collectives of automata on infinite grid graph with deterministic vertex labeling. Proceedings of the Institute of Applied Mathematics and Mechanics of the NAS of Ukraine, 33. 176-193. https://doi.org/10.37069/1683-4720-2019-33-14

Sapunov, S.V. & Senchenko, A.S. (2019). Linguistic representation of vertex-labeled graphs. Reports of the National Academy of Sciences of Ukraine, 11. 17-24. https://doi.org/10.15407/dopovidi2019.11.017

2022-2026 NAS of Ukraine, no. 0122U000118
Development of mathematical models and methods of analysis, synthesis and control of discrete and continuous dynamical systems
Role: Co-Investigator
2020-2024 NAS of Ukraine, no. 0119U102317
Development and research of stochastic models of dynamical systems
Role: Co-Investigator
2017-2021 NAS of Ukraine, no. 0117U002164
Development of theoretical bases and applied methods of analysis and synthesis of modern information and control systems
Role: Co-Investigator
2012-2016 NAS of Ukraine, no. 0112U000026
Development of mathematical models and analysis methods for dynamical systems with applications to problems of constructing new information technologies
Role: Co-Investigator
2008-2009 NATO Collaborative Linkage Grant PDD(SPS)-(ICS.NUKR.CLG.983162)
Discrete analogues of dynamical systems and their applications for secure data transmission
Role: Co-Investigator
2009-2013 NAS of Ukraine, no. 0109U002770
Modern algebraic, logical and evolutional methods of verification, authentication and management the discrete and continuous systems
Role: Co-Investigator
2004-2008 NAS of Ukraine, no. 0104U000863
Algebraic, combinatorial, logical and evolutionary methods of researching discrete and continuous systems and their application to the identification and control problems
Role: Co-Investigator