Ivannikov Institute for System Programming of the RAS


Leonid E. Karpov

Doctor of Sciences

Leonid E. Karpov ORCID: http://orcid.org/0000-0001-6400-8325
Scopus Author ID: 7005689842
Researcher ID: F-3147-2016
SPIN-CODE: 2942-0767

Positions

Leading Researcher of the Institute for System Programming of the RAS;
Associate Professor of the Department of System Programming of CMC MSU.

Contacts

E-mail: mak@ispras.ru
Address: 25 Alexander Solzjenitsin str., Moscow, Russia, 109004.

Research Interests

  • Real-Time Systems;
  • Programming Systems.

Projects

Projects supported by Russian Foundation for Basic Research:
  • Project 06-01-00503-а. Application of Data Mining for decision support;
  • Project 06-07-89098-a. Developing a programming system for adaptive control of multidimensional process on the basis of case based reasoning;
  • Project 09-07-00191-a. Case-based reasoning in the control system of unformalizable object under multiparametric input;
  • Project 12-07-00214-a. Case-Based Reasoning control system for unformalizable nonstationary objects;
  • Project 15-07-02355-a. Case-based reasoning in the control system dealing with unformalizable spontaneous objects;
  • Project 16-01-00352-a. Theory and methods of development of variable software systems.

Teaching

Lecturer: Courses taught at Computer Science Department of Moscow State University
  1. Programming systems (2nd year students);
  2. Distributed software systems' archutecture (elder students);
  3. Mathematical basis and software of modern computing systems (postgraduates).

Former Ph.D. Students

Alexandra V. Redkina (Siberian Federal University). Ph.D. thesis “Software for development of task solving support systems".

Patents

  1. Remote control of the range training system for shooting (variants). Patent of Russian Federation #2199078. Application #2001132472/02 dated 30.11.2001, 2003.
  2. Method and the device for estimation of sensorimotor and tactile functions of teeth supporting and holding apparatus. Patent of Russian Federation #2190983. Application #2001128490/14 dated 23.10.2001, 2002.
  3. Training simulator for command post with radar station. Patent of Russian Federation #2164040. Application #2000113874/09 dated 01.06.2000, 2001.

Conferences

  • The International Scientific and Practical Conference of Central Federal District of the Russian Federation jointed with the 23rd Conference of the Moscow Society of a Gemoferez "Topical Issues of Nephrology, a Dialysis, Surgical Haemo Correction and a Gemoferez". Moscow-Tver, Russia, 2015;
  • Scientific Service on the Internet, Novorossisk, Russia, 2015;
  • 17th All-Russian Conference with International Participation on Mathematical Methods of Pattern Recognition, Svetlogorsk, Russia, 2015;
  • Annual Scientific and Practical Conference of Central Federal District of the Russian Federation jointed with the 22nd Conference of the Moscow Society of a Gemaferez "Topical Issues of Nephrology, a Dialysis, Surgical Haemo Correction and a Gemaferez". Moscow-Uglitch, Russia, 2014;
  • Third International Conference on Computer Technology in Russia and in the Former Soviet Union (SoRuCom 2014), Kazan, Russia, 2014;
  • Annual Scientific and Practical Conference of Central Federal District of the Russian Federation jointed with the 21st Conference of the Moscow society of a gemaferez "Topical Issues of Nephrology, a Dialysis, Surgical Haemo Correction and a Gemaferez". Moscow-Tver, Russia, 2013;
  • V-th Troitsk Conference "Medical Physics and Innovations in Medicine". Troitsk, Russia, 2013;
  • Viner Readings, Irkutsk, Russia, 2011;
  • Second International Conference on Computer Technology in Russia and in the Former Soviet Union (SoRuCom 2011), Veliky Novgorod, Russia, 2011;
  • Annual Scientific and Practical Conference of Central Federal District of the Russian Federation "Topical Issues of Replacement Kidney Therapy, Gemaferez and Transplant Coordination", Moscow, Russia, 2010;
  • International Conference on Information Technology in Bio- and Medical Informatics, ITBAM 2010, Bilbao, Spain, 2010;
  • The 12th International Workshop on Computer Science and Information Technologies (CSIT'2010), Ufa - Moscow - Saint-Petersburg, Russia, 2010;
  • Third Euro-Asia Congress on Medical Physics and Engineering "Medical Physics - 2010". Moscow, Russia, 2010;
  • Scientific and Practical Conference of Central Federal District of the Russian Federation "Topical Issues of a Gemaferez, Surgical Detoxication and Dialysis", Moscow, Russia, 2009;
  • Scientific Service on the Internet: Solving Big Tasks, Novorossisk, Russia, 2008;
  • International Conference on Corporate Data Bases, Moscow, Russia, 2008;
  • All-Russian Conference on Mathematical Methods of Pattern Recognition, Zelenogorsk, Russia, 2007;
  • First International Conference on Computer Technology in Russia and in the Former Soviet Union (SoRuCom 2006), Petrozavodsk, Russia, 2006.

Dissertations

  • Leonid E. Karpov. Doctor thesis (technical sciences): Principals for building special-purpose computers' programming systems, 1998.
  • Leonid E. Karpov. PhD thesis (technical sciencies): Design and development of programming languages, assemblers and compilers for special-purpose computers, 1987.

Publications

  • E. Lavrischeva, L. Karpov, A. Tomilin Internet services for solving business problems. Proceedings of the Institute for System Programming Volume 27 (Issue 1). 2015 . pp. 125-150.
  • L.E. Karpov, V.N. Yudin. Lowing ambiguity level in object state estimation in a case-based control system. Proceedings of the Institute for System Programming Volume 26 (Issue 2). 2014 . pp. 231-244.
  • Karpov Leonid, Karpova Vera. «V.A. Melnikov – The Architect of Soviet Computers and Computer Systems». Third International Conference on Computer Technology in Russia and in the Former Soviet Union (SoRuCom), 2014, pp. 8-11. IEEE. DOI: 10.1109/SoRuCom.2014.9
  • L.E. Karpov, V.N. Yudin. State prehistory for complex object estimation in a control system based on cases. Proceedings of the Institute for System Programming Volume 24. 2013 y. pp. 437-446. DOI: 10.15514/ISPRAS-2013-24-19
  • V.N. Yudin, L.E. Karpov. Hybrid approach to building decision support system. Proceedings of the Institute for System Programming Volume 24. 2013 y. pp. 447-456. DOI: 10.15514/ISPRAS-2013-24-20
  • A. V. Vatazin, L. E. Karpov, Y. G. Smetanin, V. N. Yudin. Programmnaya sistema podderzhki vrachebnykh reshenij s gibridnoj arkhitekturoj na osnove pravil i pretsedentov [Software system for physician's decision support with architecture based on rules and cases], V Troitskaya konferentsiya "Meditsinskaya fizika i innovatsii v meditsine (TKMF-5)", Sbornik materialov [Proc. of Fifth conference "Medical physics and innovations in medicine"], vol. 2, pp. 425-427. 2012, RAS, Troitsk Scienfic Centre, ISBN 978-5-89513-272-2 (in Russian).
  • L. E. Karpov, A. V. Vatazin, V. N. Yudin. Multi-Parametric Control of Complex Object in the Program System for Physician's Decision Support. Proceedings of the Workshop on Computer Science and Information Technologies (CSIT'2010), Russia, Moscow – St. Petersburg, September 13-19. Volume 1. Ufa State Aviation Technical University, 2010, pp. 28-30.
  • A. V. Vatazin, L. E. Karpov, V. N. Yudin. Mnogoparametricheskoe upravlenie slozhnym ob'ektom v programmnoj sisteme podderzhki vrachebnykh reshenij [Multiparametric object control in software system for physician's decision support], III Evrazijskij kongress po meditsinskoj fizike i inzhenerii "Meditsinskaya fizika – 2010" [Third Euro-Asia congress for medical physics], 21-25 of June 2010, vol. 4, MONIKI [Moscow Regional Scientific Research Clinical Institute], 2010, pp. 415-417 (in Russian).
  • A. V. Vatazin, L. E. Karpov, V. N. Yudin. Mnogoparametricheskoe upravlenie slozhnym ob"ektom v programmnoj sisteme podderzhki vrachebnykh reshenij [Multiparametric object control in software system for physician's decision support], Ezhegodnaya nauchno-prakticheskaya konferentsiya TSentral'nogo Federal'nogo okruga RF "Аktual'nye voprosy zamestitel'noj pochechnoj terapii, gemafereza i transplantatsionnoj koordinatsii" [Proc. of Annual research and practical conference "Actual problems of replacement therapy, hemapheresis, and transplantation coordination"], MONIKI [Moscow Regional Scientific Research Clinical Institute], 2010, pp. 8. ISBN 978-5-98511-091-3. (in Russian).
  • Leonid E. Karpov, Valery N. Yudin. Data exchange in distributed software system for decision support. Proceedings of the Institute for System Programming Volume 19. 2010 y. pp. 71-80.
  • L. E. Karpov, V. N. Yudin. «The Case-Based Software System for Physician's Decision Support». Sami Khari, Lenka Lhotska, Nadia Pisanti (eds.), "Information Technology in Bio- and Medical Informatics, ITBAM 2010", Proceedings of the First International Conference, Bilbao, Spain. Lecture Notes in Computer Science Sublibrary: SL 3, Springer Verlag, Berlin, Heidelberg, 2010, pp. 78-85. ISSN 0302-9743.
  • Leonid E. Karpov, Valery N. Yudin. Case-based multi-parametric object control. Proceedings of the Institute for System Programming Volume 19. 2010 y. pp. 81-93.
  • L. E. Karpov, A. V. Vatazin, V. N. Yudin. Virtual'naya integratsiya i konsolidatsiya znanij v raspredelennoj sisteme podderzhki vrachebnykh reshenij [Virtual knowledge integration and consolidation in software system for physician's decision support], Trudy Nauchno-prakticheskaya konferentsiya TSFO RF «Аktual'nye voprosy gemafereza, khirurgicheskoj detoksikatsii i dializa [Proc. of research and practical conference ‘Actual problems of hemapheresis, surgery detoxication and dialysis’], MONIKI [Moscow Regional Scientific Research Clinical Institute], 2009, pp. 36. ISBN 978-5-98511-054-8 (in Russian).
  • A. V. Vatazin, L. E. Karpov, V. N. Yudin. Virtual'naya integratsiya i konsolidatsiya znanij v raspredelennoj sisteme podderzhki vrachebnykh reshenij [Virtual knowledge integration and consolidation in software system for physician's decision support], Аl'manakh klinicheskoj meditsiny [Almanac of Clinical Medicine], vol. 20, 2009, pp. 83-86. ISSN 2072-0505 (in Russian).
  • V. N. Yudin, L. E. Karpov, A. V. Vatazin. Protsess lecheniya kak adaptivnoe upravlenie chelovecheskim organizmom v programmnoj sisteme "Sputnik vracha" [Process of patient treatment as an adaptive control of human being organism in software system "Doctor's Partner"], Аl'manakh klinicheskoj meditsiny [Almanac of Clinical Medicine], vol. 17, no. 1, MONIKI [Moscow Regional Scientific Research Clinical Institute], 2008, pp. 262-265, ISSN 2072-0505, ISBN 978-5-98511-032-6, ISBN 5-9900012-1-5 (in Russian).
  • V. N. Yudin, L. E. Karpov, A. V. Vatazin. Metody intellektual'nogo analiza dannykh i vyvoda po pretsedentam v programmnoj sisteme podderzhki vrachebnykh reshenij [Application of Data Mining and Case-Based Reasoning in software system for physician's decision support], Аl'manakh klinicheskoj meditsiny [Almanac of Clinical Medicine], vol. 17, no. 1, MONIKI [Moscow Regional Scientific Research Clinical Institute], 2008, pp. 266-269, ISSN 2072-0505, ISBN 978-5-98511-032-6, ISBN 5- 9900012-1-5(in Russian).
  • L. E. Karpov, A. N. Tomilin, V. N. Yudin. Replikatsiya i validatsiya v raspredelennoj sisteme podderzhki vrachebnykh reshenij [Data replication and validation in distributed software system for physician's decision support], Trudy Vserossijskoj nauchnoj konferentsii "Nauchnyj servis v seti Internet: reshenie bol'shikh zadach" [Proc. All-Russian scientific conference “Scientific Service in Internet: solving of huge problems”], MGU [Moscow State University, 2008, pp. 387-392, ISBN 978-5-211-05616-9 (in Russian).
  • L. E. Karpov, V. N. Yudin. Аdaptivnoe upravlenie po pretsedentam, osnovannoe na klassifikatsii sostoyanij upravlyaemykh ob"ektov [Case-Based Reasoning adaptive control with classification of states of objects under control], Trudy ISP RАN [The Proceedings of ISP RAS], vol. 13, no. 2, 2007, pp. 37-57, ISBN 5-89823-026-2. ISSN 2220-6426 (Online), ISSN 2079-8156 (Print). (In Russian)
  • L. E. Karpov, V. N. Yudin. Integratsiya metodov dobychi dannykh i vyvoda po pretsedentam v meditsinskoj diagnostike i vybore lecheniya [Integration of data Mining and Case-Based Reasoning methods in medical diagnostics and treatment choosing], Sbornik dokladov 13-j Vserossijskoj konferentsii Matematicheskie metody raspoznavaniya obrazov [Proc. of 13-th All-Russian conference Math. methods of pattern recognition], October 2007, MAKS Press, 2007, pp. 589-591, ISBN 978-5-317- 02060-6 (in Russian).
  • Leonid E. Karpov, Vera B. Karpova. «History of the Creation of BESM: The First Computer of S.A. Lebedev Institute of Precise Mechanics and Computer Engineering». IFIP Advances in Information and Communication Technology 357. Perspectives on Soviet and Russian Computing. First IFIP WG 9.7 Conference, SoRuCom 2006, Petrozavodsk, Russia, July 3-7, 2006. Revised Selected Papers. Eds. John Impagliazzo, Eduard Proydakov. IFIP, Springer, 2011, pp. 6-19. ISSN 1868-4238, ISSN 1868-422X (eBook), ISBN 978-3-642-22815-5, ISBN 978-3-642-22816-2 (eBook), DOI 10.1007/978-3-642-22816-2.