Jump to content

Anatoly Shalyto

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by GoodDay (talk | contribs) at 02:25, 27 November 2015 (Intro). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Anatoly Shalyto
Born (1948-05-28) May 28, 1948 (age 76)
Leningrad, USSR
Nationality Russian
Alma materSPb ETU "LETI"
Known forTechnology of Automata-Based Programming named Switch-technology, Open Project Documentation Initiative, "Save the best in the universities of Russia"
AwardsRussian State Government award in education, 2008
Scientific career
FieldsComputer Science, Software Engineering
InstitutionsSPbSU ITMO

Anatoly Abramovich Shalyto (Template:Lang-ru, May 28, 1948 in Leningrad, Soviet Union) is a Russian scientist, doctor of sciences, professor, awarded by Russian State Government in 2008 for achievements in education, developer of technology for Automata-based programming named "Switch-technology", initiator of Open Project Documentation Initiative and of "Save the best in the universities of Russia".

Main Achievements

Anatoly Shalyto introduced a Switch-technology — technology for Automata-Based Programming. He is also a coauthor of a UniMod tool that supports Automata-Based Programming.

Initiator of Foundation for Open Project Documentation.

Author of a series of articles devoted to the problems of Computer Science and education in Russia.

Anatoly Shalyto also has scientific results in Boolean functions and Logic Control.

Chair of IEEE Technical Committee on Industrial Informatics (2015).

Award. Presented as Workshop Organizer of 1st IEEE International Workshop on Distributed Intelligent Automation Systems held in conjunction with IEEE ISPA 2015,Helsinki.

Papers

  • Artyukhov V., Kondrat`ev V., Shalyto A. Generating Boolean Functions Via Arithmetic Polinomials, Automation and Remote Control, 1988, vol. 49, No 4, pp. 508–515.
  • Kuznetsov B., Shalyto A. Realization of Boolean Formulas by Linear Binary Grafs, I. Synthesize and Analysis, Journal of Computer and Systems Sciences International, 1994, Vol. 33, No. 5; II. Estimations of Number and Total Length of Paths, 1995, Vol. 34, No. 3; III. Optimization of Number and Total Length of Paths, 1995, Vol. 34, No. 5.
  • Shalyto A. Algorithmic Graph Schemes and Transition Graphs: Their Use in Software Realization of Logical Control Algorithms. 1,2., Automation and Remote Control, 1996, Vol. 57, No. 6, pp. 890–897, No. 6, pp. 1027–1045.
  • Kuznetsov B., Shalyto A. The Method of Independent Fragments for Construction of Linearized Structured Graf-Charts of Algorithms that Implement Systems of Boolean Formulas, Automation and Remote Control, 1998, vol. 59, No 9.
  • Kiselev V., Shalyto A. Study of Transidents in One-Contour Logical Circuits, Journal of Computer and Systems Sciences International, 1999, Vol. 38, No. 5, pp. 693–697.
  • Shalyto A., Software Automation Design: Algorithmization and Programming of Problems of Logical Control, Journal of Computer and Systems Sciences International, 2000, Vol. 39, No. 6, pp. 899–916.
  • Shalyto A. Logic Control and "Reactive" Systems: Algorithmization and Programming, Automation and Remote Control, 2001, Vol. 62, No. 1, pp. 1–29. online version.
  • Shalyto A., Tukkel N. SWITCH-Technology: An Automated Approach to Developing Software for Reactive Systems, Programming and Computer Software, 2001, Vol. 27, No. 5, pp. 260–276.
  • Shalyto A., Tukkel N. Translating Iterative Algorithms into Automation Ones, Programming and Computer Software, 2002, Vol. 28, No. 5, pp. 250–260.
  • Shalyto A. Technology of Automata-Based Programming, 2004.
  • Shalyto A. Foundation for Open Project Documentation, 2004.
  • Yartsev B., Korneev G., Kotov V., Shalyto A. Automata-Based Programming of the Reactive Multi-Agent Control Systems, 2005 International Conference on “Integration of Knowledge Intensive Multi-Agent Systems: Modeling, Exploration and Engineering”. KIMAS-05. Boston: IEEE Boston Section, 2005, pp. 449–453.
  • Gurov V., Mazin M., Narvsky A., Shalyto A. UniMod: Method and Tool for Development of Reactive Object-Oriented Programs with Explicit States Emphasis, Proceedings of St. Petersburg IEEE Chapters. Year 2005. International Conference “110 Anniversary of Radio Invention”, SPb ETU “LETI”, 2005, vol. 2, pp. 106–110.
  • Gurov V., Mazin V., Narvsky A., Shalyto A. Tools for Support of Automata-Based Programming, Programming and Computer Software, 2007, Vol. 33, No. 6, pp. 343–355.
  • Bulletin of St Petersburg State University of Information Technologies, Mechanics and Optics. 2008. Volume 53. Automata-based programming. (rus) http://books.ifmo.ru/ntv/ntv/53/ntv_53.pdf
  • Polikarpova N. I., Shalyto A. A. Automata-based programming] SPb.: Piter. 2009 (rus) http://is.ifmo.ru/books/_book.pdf
  • https://code.google.com/p/visio2python/

Template:Persondata

Retrieved from "https://en.wikipedia.org/w/index.php?title=Anatoly_Shalyto&oldid=692622296"