Интернет магазин китайских планшетных компьютеров

Компьютеры - Шалыто, Анатолий Абрамович - Основные достижения

В 1991 г. предложил технологию автоматного программирования, названную «Switch-технология». Соавтор разработки инструментального средства для поддержки автоматного программирования «UniMod».

В 2002 г. выдвинул новую инициативу в программировании — «Движение за открытую проектную документацию».

Неоднократно выступал на всесоюзных и международных конференциях с докладами по различным вопросам аппаратной и программной реализации алгоритмов логического управления и технологий программирования, Software Engineering Conference in Russia, 4-th International Conference in Central Europe on .NET Technologies).

Автор большого числа научных трудов, опубликованных, в том числе, и в таких журналах Академии наук СССР и России, как «Автоматика и телемеханика», «Автоматика и вычислительная техника», «Известия Академии наук. Техническая кибернетика», «Известия Российской Академии наук. Теория и системы управления», «Проблемы передачи информации», «Автометрия», «Программирование».

В 1981 г. в соавторстве выпустил книгу «Настраиваемые модули для управляющих логических устройств».

В 1996 г. выиграл конкурс издательских проектов Российского фонда фундаментальных исследований и опубликовал книгу «SWITCH-технология. Алгоритмизация и программирование задач логического управления», в которой ввёл такие понятия как «автоматное программирование», «наблюдаемость программ» и «кодирование состояний».

В 2000 г. при финансовой поддержке Администрации Санкт-Петербурга опубликовал книгу «Логическое управление. Методы аппаратной и программной реализации алгоритмов», в которой отражены научные результаты автора, полученные к этому времени.

В 2000—2007 гг. руководил научно-исследовательской работой по теме «Разработка технологии создания программного обеспечения систем управления на основе автоматного подхода», выполняемой в рамках программы фундаментальных исследований Министерства образования и науки Российской Федерации.

В 2002—2003 гг. руководил работами по гранту РФФИ для проведения исследования по теме «Разработка технологии автоматного программирования», а в 2005—2006 гг. — по теме «Разработка технологии объектно-ориентированного программирования с явным выделением состояний».

В 2003 г. признан одним из победителей конкурса исследовательских проектов в области проектирования интегральных схем, проводимого в СНГ компанией Intel и Московским физико-техническим институтом.

Грант корпорации Borland.

В 2003 и 2005 гг. сопредседатель секции «Теоретические основы построения мультиагентных систем» на международной конференции «Integration of Knowledge Intensive Multi-Agent Systems». KIMAS’03, KIMAS’05. США. IEEE. DARPA.

В 2005 и 2006 гг. член программного комитета международной конференции «IEEE International Conference on Computational Intelligence for Measurement Systems and Applications». CIMSA 2005, CIMSA 2006. Италия, Испания.

В 2007 г. член программного комитета международной конференции «The Second AIS SIGSAND European Symposium on Systems Analysis and Design». Польша.

В 2007 и 2008 гг. член программного комитета международной конференции «TOOLS-EUROPE». ETH. Швейцария.

В 2005—2006 гг. руководил работами по государственному контракту «Технология автоматного программирования: применение и инструментальные средства», который победил в конкурсе проектов, проводимом Федеральным агентством по науке и инновациям в рамках Федеральной целевой научно-технической программы «Исследования и разработки по приоритетным направлениям развития науки и техники» на 2002—2006 годы по приоритетному направлению «Информационно-телекоммуникационные системы и электроника». Проект был отобран в числе 15 наиболее инновационно-перспективных и социально-значимых проектов, выполняемых по указанной программе.

В 2007—2008 гг. руководил работами по государственным контрактам «Технология генетического программирования для генерации автоматов управления системами со сложным поведением» и «Разработка технологии верификации управляющих программ со сложным поведением, построенных на основе автоматного подхода», выполняемым в рамках Федеральной целевой программы «Исследования и разработки по приоритетным направлениям развития научно-технологического комплекса России на 2007—2012 годы» по приоритетному направлению «Информационно-телекоммуникационные системы».

Распоряжением Президента РФ на 2006—2008 гг. назначена стипендия за выдающиеся заслуги в области техники.

Второй руководитель научно-педагогической школы «Информационные и компьютерные технологии» — одного из победителей конкурса научно-педагогических школ Санкт-Петербурга 2006 года.

В 2003—2006 гг. опубликовал в компьютерной прессе цикл публицистических статей по проблемам образования и науки в области информационных технологий.

Член редакционных коллегий журналов «Известия Уральского государственного университета. Серия «Компьютерные науки и информационные технологии», «Информационно-управляющие системы» и «Морская радиоэлектроника».

Член диссертационных советов.

Автор сайтов по автоматному программированию http://is.ifmo.ru и "Сохраним в университетах лучших!" http://www.savethebest.ru