Anatoly Shalyto - Citizendia

Anatoly Shalyto
Born	May 28, 1948 (1948-05-28) (age 60) Leningrad, USSR
Residence	USSR, Russia
Nationality	Russian
Fields	Computer Science, Software Engineering
Institutions	SPbSU ITMO
Alma mater	SPb ETU "LETI"
Known for	Technology of Automata-Based Programming named Switch-technology, Foundation for Open Project Documentation

Anatoly Abramovich Shalyto (Russian: Анато́лий Абра́мович Шалы́то, 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. Events 585 BC - A Solar eclipse occurs as predicted by Greek philosopher and scientist Thales, while Alyattes is battling Year 1948 ( MCMXLVIII) was a Leap year starting on Thursday (link will display the 1948 calendar of the Gregorian calendar. Saint Petersburg ( tr: Sankt-Peterburg,) is a city and a federal subject of Russia located on the Neva River The Union of Soviet Socialist Republics (USSR was a constitutionally Socialist state that existed in Eurasia from 1922 to 1991 The Union of Soviet Socialist Republics (USSR was a constitutionally Socialist state that existed in Eurasia from 1922 to 1991 Russia (Россия Rossiya) or the Russian Federation ( Rossiyskaya Federatsiya) is a transcontinental Country extending Russia (Россия Rossiya) or the Russian Federation ( Rossiyskaya Federatsiya) is a transcontinental Country extending Computer science (or computing science) is the study and the Science of the theoretical foundations of Information and Computation and their Software engineering is the application of a systematic disciplined quantifiable approach to the development operation and maintenance of Software. Saint Petersburg State University of Information Technologies Mechanics and Optics, abbreviated as SPbSU ITMO (Санкт-Петербу́ргский госуда́рственный Alma mater is Latin for "nourishing mother" It was used in Ancient Rome as a title for the mother Goddess, and in Medieval Automata-based programming is a Programming paradigm in which the program or its part is thought of as a model of a Finite state machine or any other (often more Switch-technology is a technology for automata-based programming support The Foundation for Open Project Documentation is an organization Russian ( transliteration:,) is the most geographically widespread language of Eurasia, the most widely spoken of the Slavic languages Events 585 BC - A Solar eclipse occurs as predicted by Greek philosopher and scientist Thales, while Alyattes is battling Saint Petersburg ( tr: Sankt-Peterburg,) is a city and a federal subject of Russia located on the Neva River The Union of Soviet Socialist Republics (USSR was a constitutionally Socialist state that existed in Eurasia from 1922 to 1991 Automata-based programming is a Programming paradigm in which the program or its part is thought of as a model of a Finite state machine or any other (often more Switch-technology is a technology for automata-based programming support The Foundation for Open Project Documentation is an organization

Main Achievements

Anatoly Shalyto introduced a Switch-technology — technology for Automata-Based Programming. Switch-technology is a technology for automata-based programming support Automata-based programming is a Programming paradigm in which the program or its part is thought of as a model of a Finite state machine or any other (often more He is also a coauthor of a UniMod tool that supports Automata-Based Programming. Automata-based programming is a Programming paradigm in which the program or its part is thought of as a model of a Finite state machine or any other (often more

Initiator of Foundation for Open Project Documentation. The Foundation for Open Project Documentation is an organization

Author of a series of articles devoted to the problems of Computer Science and education in Russia. Computer science (or computing science) is the study and the Science of the theoretical foundations of Information and Computation and their

Anatoly Shalyto also has scientific results in Boolean functions and Logic Control. In Mathematics, a (finitary Boolean function is a function of the form f: B k &rarr B, where B = {0 1} Logic Control is a control surface originally designed by Emagic in cooperation with Mackie.

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

External links

© 2009 citizendia.org; parts available under the terms of GNU Free Documentation License, from http://en.wikipedia.org
network: | |