Welcome to MSD page!
ПиИТ

Resume

  • Sergey D. Makhortov is a professional software developer and he has been teaching courses connected with computer programming and mathematics for 30 years. In 1986 he got a candidate degree in the area of partial differential equations at Voronezh State University. In March 2010 Sergey D. Makhortov defended his doctoral dissertation on "The Theory of LP-structures for the Construction and Study of Production-Type Knowledge Models" at Lomonosov Moscow State University, Department of Mechanics and Mathematics.

Areas of research

  • 1978-1983: system programming; compilers, interpreters.
  • 1983-1991: partial differential equations; pseudodifferential operators.
  • 1991-2001: production expert systems – theoretical foundations and implementation.
  • 2001-…: theory of programming; lattice-based algebraic systems and their applications to knowledge engineering.
  • 2012-...: algorithms on strings, bioinformatics.

Scientific and social activities

  • Member of editorial boards of the journals:
    • "Software Engineering"
    • "Neurocomputers: Design and Applications"
    • "Proceedings of Voronezh State University. Ser. Physics and Mathematics"
    • "Proceedings of Voronezh State University. Ser. Systems analysis and information technologies"
  • Head of Voronezh Regional Division of the Russian Association for Artificial Intelligence.
  • Member of the Dissertation Councils: MSU.012.3, 24.2.288.11.

Publications in English

  • Makhortov S.D. LP Structures on Type Lattices and Some Refactoring Problems / S.D. Makhortov // Programming and Computer Software. – 2009. – V. 35. – P. 183–189. >>
  • Makhortov S.D. Multi-level LP-Structures in Rewriting Systems / S.D. Makhortov // Mathematical Modeling and Computational Physics (MMCP’2009): Book of Abstracts of the International Conference (Dubna, July 7–11, 2009). – Dubna : JINR, 2009. – P. 123. >>
  • Makhortov S.D. Multi-level LP Structures in Rewriting Systems / S.D. Makhortov // Bulletin of PFUR. – 2010. – No. 2 (2). – P. 18–22. >>
  • Makhortov S.D. Production-logic Relations on Complete Lattices / S.D. Makhortov // Automation and Remote Control. – 2012. – V. 73. – P. 1937–1943. >>
  • Makhortov S.D. LP-structures analysis: Substantiation of refactoring in object-oriented programming / S.D. Makhortov, M.D. Shurlin // Automation and Remote Control. – 2013. – V. 74. – P. 1211–1217. >>
  • Bolotova S.Yu. Multi-threaded relevant LP-inference / S.Yu. Bolotova, S.D. Makhortov // Distributed Intelligent Systems and Technologies (DIST’2013): Proceedings of the International Conference (St. Petersburg, July 1–4, 2013). – St. Petersburg : SPBSTU, 2013. – P. 7–14.
  • Bolotova S.Yu. Using multi-threading in the relevant LP-inference method / S.Yu. Bolotova, S.D. Makhortov // Mathematical Modeling and Computational Physics (MMCP’2013): Book of Abstracts of the International Conference (Dubna, July 8–12, 2013). – Dubna : JINR, 2013. – P. 58. >>
  • Ivanov I.Yu. Computer implementation of an approximate solution finding of a production-logical equation on a boolean lattice / I.Yu. Ivanov, S.D. Makhortov // Сучасні проблеми і досягнення в галузі радіотехніки, телекомунікацій та інформаційних технологій: Тези доповідей VIІ Міжнародної науково-практичної конференції (17–19 вересня 2014 р., м. Запоріжжя). – 2014. – P. 108–109. >>
  • Bolotova S.Yu. The Algorithms of the Multi-Threaded Relevant LP-inference / S.Yu. Bolotova, S.D. Makhortov // Bulletin of PFUR. – 2014. – No. 2. – P. 216–219. >>
  • Bolotova S.Yu. The «conveyor» scheme in the relevant backward inference methods / S.Yu. Bolotova, S.D. Makhortov // Сучасні проблеми і досягнення в галузі радіотехніки, телекомунікацій та інформаційних технологій: Тези доповідей VIІ Міжнародної науково-практичної конференції (17–19 вересня 2014 р., м. Запоріжжя). – 2014. – P. 104–105. >>
  • Bolotova S.Yu. Using Parallel Computing in the Production Systems Models Based on the Multi-Threaded Relevant LP-Inference / S.Yu. Bolotova, S.D. Makhortov // American Journal of Control Systems and Information Technology. – 2014. – V. 4. – No. 2. – P. 5–12. >>
  • Bolotova S.Yu. Multi-threaded relevant LP-inference / S.Yu. Bolotova, S.D. Makhortov // Modern Informatization Problems in the Technological and Telecommunication Systems Analysis and Synthesis: Proceedings of the XX-th International Open Science Conference (Yelm, WA, USA, January 1-10, 2015). Editor in Chief Dr. Sci., Prof. O.Ja. Kravets. – Yelm : Science Book Publishing House LLC, 2015. – P. 339–347. >>
  • Quispe-Tintaya W. Quantitative detection of low-abundance somatic structural variants in normal cells by high-throughput sequencing / W. Quispe-Tintaya, T. Gorbacheva, M. Lee, S.D. Makhortov, V.N. Popov, J. Vijg, A.Y. Maslov // Nature Methods. – 2016. – No. 13. – P. 584–586. – DOI: 10.1038/nmeth.3893. >>
  • Makhortov S.D. Relevant backward inference and knowledge verification on the basis of equation solving in LP-structures / S.D. Makhortov, I.Yu. Kuznetsova // Modern Informatization Problems in Simulation and Social Technologies: Proceedings of the XXII-th International Open Science Conference (Yelm, WA, USA, January 2017). Editor in Chief Dr. Sci., Prof. O.Ja. Kravets. – Yelm : Science Book Publishing House LLC, 2017. – P. 164–178. >>
  • Quispe-Tintaya W. Genome-wide quantitative assessment of structural variants in somatic cells by next-generation suquencing / W. Quispe-Tintaya, T. Gorbacheva, M. Lee, S.D. Makhortov, V.N. Popov, J. Vijg, A.Y. Maslov // Труды IX Всероссийской научно-практической конференции с международным участием «Молекулярная диагностика», Москва, 18-20 апреля 2017 года. – М. : Юлис, 2017. – V. 2. – P. 274. >>
  • Makhortov S.D. An Algebraic Approach to the Study and Optimization of the Set of Rules of a Conditional Rewrite System / S.D. Makhortov // Journal of Physics: Conference Series. – 2018. – V. 973. – No. 1. – P. 65535. – DOI: 10.1088/1742-6596/973/1/012066. >>
  • Makhortov S.D. About an Algebraic Model of the Production Type Distributed Intelligent System / S.D. Makhortov, S.Yu. Bolotova // Proceedings of the International Conference "Applied Mathematics, Computational Science and Mechanics: Current Problems". – Voronezh : VSU, 2018. – P. 345–352. >>
  • Makhortov S.D. An algebraic model of the production type distributed intelligent system / S.D. Makhortov, S.Yu. Bolotova // Journal of Physics: Conference Series. – 2019. – V. 1203. – No. 1. – P. 12045. – DOI: 10.1088/1742-6596/1203/1/012045. >>
  • Makhortov S.D. LP Structures Theory Application to Building Intelligent Refactoring Systems / S.D. Makhortov, A.A. Nogikh // Proceedings of the Fourth International Scientific Conference “Intelligent Information Technologies for Industry” (IITI’19). Advances in Intelligent Systems and Computing. – Cham : Springer, 2020. – V. 1156. – P. 403–411. – DOI: 10.1007/978-3-030-50097-9_41. >>
  • Makhortov S.D. Application of LP Structures Theory to Intelligent Attribute Merger Refactoring / S.D. Makhortov, A.A. Nogikh // Proceedings of the 18th Russian Conference on Artificial Intelligence (RCAI 2020). Lecture Notes in Artificial Intelligence. – Cham : Springer, 2020. – V. 12412. – P. 437–447. – DOI: 10.1007/978-3-030-59535-7_32. >>
  • Makhortov S.D. Algebraic Models for Big Data and Knowledge Management (Extended Abstract) / S.D. Makhortov // Extended Abstracts of the Data Analytics and Management in Data Intensive Domains: ХХII International Conference DAМDID/RCDL-2020 (October 13-16, 2020, Voronezh, Russia). – Voronezh : VSU, 2020. – P. 34–37. >>
  • Makhortov S.D. Equivalent transformation of the reasoning model in production zeroth-order logic / S.D. Makhortov, I.Yu. Ivanov // 2020 International Conference on Information Technology and Nanotechnology (ITNT-2020). – IEEE Samara, 2020. – P. 1–4. – DOI: 10.1109/ITNT49337.2020.9253309. >>
  • Thalheim B. Preface (Editorial) / B. Thalheim, S.D. Makhortov, A. Sychev // 22nd International Conference on Data Analytics and Management in Data Intensive Domains (DAMDID/RCDL 2020). CEUR Workshop Proceedings. – 2020. – V. 2790. – P. 1–2. >>
  • Thalheim B. Preface (Editorial) / B. Thalheim, S.D. Makhortov, A. Sychev // 22nd International Conference on Data Analytics and Management in Data Intensive Domains (DAMDID/RCDL 2020), Selected Proceedings. Communications in Computer and Information Science. – Cham : Springer, 2021. – V. 1427. – P. 5–6. – DOI: 10.1007/978-3-030-81200-3. >>
  • Makhortov S.D. Algebraic Models for Big Data and Knowledge Management / S.D. Makhortov // 22nd International Conference on Data Analytics and Management in Data Intensive Domains (DAMDID/RCDL 2020), Selected Proceedings. Communications in Computer and Information Science. – Cham : Springer, 2021. – V. 1427. – P. 19–26. – DOI: 10.1007/978-3-030-81200-3_2. >>
  • Makhortov S.D. Properties of an Algebraic Model of a Distributed Intelligent System with Fuzzy Rules / S.D. Makhortov // Proceedings of the Fifth International Scientific Conference “Intelligent Information Technologies for Industry” (IITI’21). IITI 2021. Lecture Notes in Networks and Systems. – Cham : Springer, 2022. – V. 330. – P. 188–198. – DOI: 10.1007/978-3-030-87178-9_19. >>
  • Maslov A.Y. Single-molecule, quantitative detection of low-abundance somatic mutations by high-throughput sequencing / A.Y. Maslov, S.D. Makhortov, S. Sun, J. Heid, X. Dong, M. Lee, J. Vijg // Science Advances. – 2022. – V. 8. – No. 14. – P. 1–6. – DOI: 10.1126/sciadv.abm3259. >>