Anatoly Shalyto

Infobox_Scientist
name = Anatoly Shalyto


image_width = 200px
caption =
birth_date = Birth date and age|1948|5|28|mf=y
birth_place = Leningrad, USSR
death_date =
death_place =
residence = flag|USSR, flag|Russia
citizenship =
nationality = flag|Russian
ethnicity =
field = Computer Science, Software Engineering
work_institution = SPbSU ITMO
alma_mater = SPb ETU "LETI"
doctoral_advisor =
doctoral_students =
known_for = Technology of Automata-Based Programming named Switch-technology, Foundation for Open Project Documentation
author_abbreviation_bot =
author_abbreviation_zoo =
prizes =
religion =
footnotes =

Anatoly Abramovich Shalyto ( _ru. Анато́лий Абра́мович Шалы́то, May 28 1948, Leningrad, Soviet Union) is a Russian scientist, developer of technology for Automata-based programming named "Switch-technology", initiator of Foundation for Open Project Documentation.

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.

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 Constraction 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. [http://is.ifmo.ru/articles_en/_logic_control_and_reactive_systems.pdf 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. [http://www.codeproject.com/KB/architecture/abp.aspx?print=true Technology of Automata-Based Programming] , 2004.
*Shalyto A. [http://www.codeproject.com/gen/design/nifopd.asp 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.

External links

* [http://is.ifmo.ru Computer Technologies Department website]
* [http://www.ifmo.ru St.-Petersburg State University of Information Technologies, Mechanics and Optics website]
* [http://www.codeproject.com/gen/design/abp.asp Automata-Based Programming on The Code Project]
* [http://www.codeproject.com/gen/design/nifopd.asp Foundation for Open Project Program Documentation on The Code Project]
* [http://unimod.sourceforge.net/intro.html UniMod tool website]