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.

Scientific and social activities

  • Reviewer for IEEE Transactions on Knowledge and Data Engineering.
  • 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.05.01, D 212.038.20.

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. >>
  • 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. 12066. >>
  • 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. >>