Шалыто, Анатолий Абрамович
Материал из Википедии — свободной энциклопедии
Анато́лий Абра́мович Шалы́то (род. 28 мая 1948, Ленинград) — профессор, доктор технических наук, заведующий кафедрой «Технологии программирования» СПбГУ ИТМО, автор стиля программирования, получившего название «автоматное программирование», для поддержки которого им разработана Switch-технология, основатель «Движения за открытую проектную документацию».
[править] Биография
В 1965 г. поступил и в 1971 г. с отличием окончил Ленинградский электротехнический институт имени В. И. Ульянова (Ленина) по специальности «Автоматика и телемеханика».
- С 1971 г. работает в научно-производственном объединении «Аврора» (Санкт-Петербург), специализируясь в области проектирования систем логического управления и технологий программирования.
- В 1985 г. присвоено учёное звание «Старший научный сотрудник» по специальности «Элементы и устройства вычислительной техники и систем управления».
- С 1999 г. учёный секретарь предприятия.
- В 1977 г. без отрыва от производства закончил аспирантуру и защитил кандидатскую диссертацию по указанной специальности. Кандидат технических наук (1977 г.).
- В 1999 г. защитил докторскую диссертацию по той же специальности. Доктор технических наук (2000 г.).
- С 1974 по 1991 гг. преподавал в Институте повышения квалификации руководящих работников и специалистов судостроительной промышленности (Ленинград).
- В 1991 г. присвоено учёное звание «Доцент» по кафедре «Управляющие вычислительные системы».
- С 1998 г. преподаёт на кафедре «Компьютерные технологии» СПб ГУ ИТМО.
- С 2000 г. профессор этой кафедры.
- В 2001 г. присвоено учёное звание профессор по кафедре «Компьютерные технологии».
- С 2001 г. заведующий кафедрой «Информационные системы» СПб ГУ ИТМО.
- 25.05.2004 г. избран заведующим кафедрой «Технологии программирования» СПб ГУ ИТМО.
[править] Основные достижения
В 1991 г. предложил автоматное программирование — стиль программирования, основанный на применении конечных автоматов, а также технологию автоматного программирования, названную «Switch-технология». Соавтор разработки инструментального средства для поддержки автоматного программирования UniMod.
В 2002 г. выдвинул новую инициативу в программировании —"Движение за открытую проектную документацию".
Неоднократно выступал на всесоюзных и международных конференциях с докладами по различным вопросам аппаратной и программной реализации алгоритмов логического управления и технологий программирования (напр., LinuxSummit (Финляндия, 2004), Software Engineering Conference in Russia (Москва, 2005), 4-th International Conference in Central Europe on .NET Technologies (Чехия, 2006)).
Автор большого числа научных трудов, опубликованных, в том числе, и в таких журналах Академии наук СССР и России, как «Автоматика и телемеханика», «Автоматика и вычислительная техника», «Известия Академии наук. Техническая кибернетика», «Известия Академии наук. Теория и системы управления», «Проблемы передачи информации», «Автометрия», «Программирование».
В 1981 г. в соавторстве выпустил книгу «Настраиваемые модули для управляющих логических устройств» (Л.: Энергоиздат, 1981, 163 с.).
В 1996 г. выиграл конкурс издательских проектов Российского фонда фундаментальных исследований и опубликовал книгу «SWITCH-технология. Алгоритмизация и программирование задач логического управления» (СПб.: Наука. 1998, 628 с.), в которой ввёл такие понятия как «автоматное программирование», «наблюдаемость программ» и «кодирование состояний».
В 2000 г. при финансовой поддержке Администрации Санкт-Петербурга опубликовал книгу «Логическое управление. Методы аппаратной и программной реализации алгоритмов» (СПб.: Наука. 2000, 780 с.), в которой отражены научные результаты автора, полученные к этому времени.
В 2000—2006 гг. руководил на научно-исследовательской работой по теме «Разработка технологии создания программного обеспечения систем управления на основе автоматного подхода», выполняемой в рамках программы фундаментальных исследований Министерства образования Российской Федерации.
В 2002—2003 гг. руководил работами по гранту РФФИ для проведения исследования по теме «Разработка технологии автоматного программирования» (грант № 02-07-90114), а в 2005—2006 гг. — по теме «Разработка технологии объектно-ориентированного программирования с явным выделением состояний» (грант № 05-07-90011).
В 2003 г. признан одним из победителей конкурса исследовательских проектов в области проектирования интегральных схем, проводимого в СНГ компанией Intel и Московским физико-техническим институтом.
В 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. Италия, Испания.
В 2005—2006 гг. руководил работами по государственному контракту «Технология автоматного программирования: применение и инструментальные средства», который победил в конкурсе проектов, проводимом Федеральным агентством по науке и инновациям в рамках Федеральной целевой научно-технической программы «Исcледования и разработки по приоритетным направлениям развития науки и техники» на 2002—2006 годы по приоритетному направлению «Информационно-телекоммуникационные системы и электроника». Этот проект был отобран в числе 15 наиболее инновационно-перспективных и социально-значимых проектов, выполняемых по указанной программе.
Распоряжением Президента РФ на 2006—2008 гг. назначена стипендия за выдающиеся заслуги в области специальной техники.
Соруководитель (совместно с В.Н. Васильевым) научно-педагогической школы "Информационные и компьютерные технологии", победившей в конкурсе Санкт-Петербурга в 2006 г., который проводился Администрацией города.
В 2003—2006 гг. опубликовал в компьютерной прессе (в основном еженедельниках «PC Week/RE» и «Компьютерра») цикл публицистических статей по проблемам образования и науки в области информационных технологий.
Член редакционных коллегий журналов «Известия Уральского государственного университета. Серия „Компьютерные науки и информационные технологии“», «Информационно-управляющие системы» и «Морская радиоэлектроника».
Член диссертационных, научно-технических и экспертных советов.
