Шалыто, Анатолий Абрамович

Материал из Википедии — свободной энциклопедии
Это старая версия этой страницы, сохранённая 217.66.146.191 (обсуждение) в 11:07, 19 февраля 2012 (→Биография). Она может серьёзно отличаться от текущей версии.
Перейти к навигации Перейти к поиску
Анатолий Абрамович Шалыто
Дата рождения 28 мая 1948(1948-05-28) (76 лет)
Место рождения Ленинград
Страна Российская Федерация
Род деятельности специалист в области информатики, исследователь
Научная сфера Автоматное программирование
Место работы СПбГУ ИТМО
Альма-матер Ленинградский электротехнический институт имени В. И. Ульянова (Ленина)
Известен как

Автор технологии, названной «Switch-технология», и инициатив

«За открытую проектную документацию» и «Сохраним в университетах лучших!»
Награды и премии
Сайт Сайт кафедры «Технологии программирования»
Логотип Викисклада Медиафайлы на Викискладе

Анато́лий Абра́мович Шалы́то (род. 28 мая 1948, Ленинград) — учёный, преподаватель, лауреат премии Правительства РФ 2008 года в области образования, профессор, доктор технических наук, заведующий кафедрой "Технологии программирования" СПбГУ ИТМО, автор технологии, названной «Switch-технология», предложил инициативы «За открытую проектную документацию» и «Сохраним в университетах лучших!».

Биография

В 1965 г. поступил и в 1971 г. с отличием окончил Ленинградский электротехнический институт имени В. И. Ульянова (Ленина) по специальности «Автоматика и телемеханика».

  • С 1971 г. работает в научно-производственном объединении «Аврора» (Санкт-Петербург), специализируясь в области проектирования систем логического управления и технологий программирования.
  • В 1977 г. без отрыва от производства закончил аспирантуру и защитил кандидатскую диссертацию по указанной специальности. Кандидат технических наук (1977 г.).
  • В 1985 г. присвоено учёное звание «Старший научный сотрудник» по специальности «Элементы и устройства вычислительной техники и систем управления».
  • С 1999 г. учёный секретарь предприятия.
  • В 1999 г. защитил докторскую диссертацию по той же специальности. Доктор технических наук (2000 г.).
  • С 1974 по 1991 гг. преподавал в Институте повышения квалификации руководящих работников и специалистов судостроительной промышленности (Ленинград).
  • В 1991 г. присвоено учёное звание «Доцент» по кафедре «Управляющие вычислительные системы».
  • С 1998 г. преподаёт на кафедре «Компьютерные технологии» СПбГУ ИТМО.
  • В 1998 г. опубликовал книгу "SWITCH-технология. Алгоритмизация и программирование задач логического управления". СПб.: Наука. 1998, 628 с. http://is.ifmo.ru/books/switch/1
  • С 2000 г. профессор этой кафедры.
  • В 2000 г. опубликовал книгу "Логическое управление. Методы аппаратной и программной реализации". СПб.: Наука. 2000, 780 с. http://is.ifmo.ru/books/log_upr/1
  • В 2001 г. присвоено учёное звание профессор по кафедре «Компьютерные технологии».
  • С 2001 г. заведующий кафедрой «Информационные системы» СПбГУ ИТМО.
  • 25.05.2004 г. избран заведующим кафедрой «Технологии программирования» СПбГУ ИТМО.
  • В 2008 г. получил премию Правительства РФ в области образования.

Основные достижения

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

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

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

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

В 1981 г. в соавторстве выпустил книгу «Настраиваемые модули для управляющих логических устройств» (Л.: Энергоиздат, 1981, 163 с.).

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

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

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

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

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

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

В 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 гг. опубликовал в компьютерной прессе (в основном еженедельниках «PC Week/RE» и «Компьютерра») цикл публицистических статей по проблемам образования и науки в области информационных технологий.

В 2008 г. получил премию Правительства РФ в области образования.

В 2008 г. предложил инициативу "Сохраним в университетах лучших!", реализация которой позволила остаться работать на постоянной основе в СПбГУ ИТМО чемпионам и призерам чемпионатов мира по программированию.

C 2011 г. руководит работами по государственным контрактам «Разработка методов машинного обучения на основе алгоритмов решения задачи о выполнимости булевой формулы для построения управляющих конечных автоматов» и «Разработка метода сборки геномных последовательностей на основе восстановления фрагментов по парным чтениям», выполняемым в рамках Федеральной целевой программы «Научные и научно-педагогические кадры инновационной России» на 2009 – 2013 годы», а также государственным контрактом «Разработка алгоритмов сборки геномных последовательностей для вычислительных систем экзафлопсного уровня производительности», выполняемым в рамках Федеральной целевой научно-технической программе «Исследования и разработки по приоритетным направлениям развития научно-технологического комплекса России на 2009 – 2013 годы».

В 2011 г. инициировал создание в НИУ ИТМО лаборатории "Алгоритмы сборки геномных последовательностей". http://genome.ifmo.ru/index.html

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

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

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

Ссылки

См. также

Библиография

  • Шалыто А.А. SWITCH-технология. Алгоритмизация и программирование задач логического управления. СПб.: Наука. 1998, 628 с. http://is.ifmo.ru/books/switch/1
  • Шалыто А.А. Логическое управление. Методы аппаратной и программной реализации. СПб.: Наука. 2000, 780 с. http://is.ifmo.ru/books/log_upr/1
  • Шалыто А.А. Автоматное проектирование программ. Алгоритмизация и программирование задач логического управления //Известия РАН. Теория и системы управления. 2000. № 6, c.63–81. http://is.ifmo.ru/works/app-aplu/1/
  • Шалыто А.А. Алгоритмизация и программирование для систем логического управления и "реактивных" систем //Автоматика и телемеханика, 2001, № 1, с.3−39. http://is.ifmo.ru/works/arew/1/
  • Туккель Н.И., Шалыто А.А. SWITCH-технология − автоматный подход к созданию программного обеспечения "реактивных" систем //Программирование. 2001. № 5, c.45–62. http://is.ifmo.ru/works/switch/1/
  • Туккель Н.И., Шалыто А.А. Преобразование итеративных алгоритмов в автоматные //Программирование. 2002. № 5,с.12-26. http://is.ifmo.ru/works/iter/
  • Шалыто А.А. Новая инициатива в программировании. Движение за открытую проектную документацию //PC Week/RE. 2003. № 40, с.38,39,42. http://is.ifmo.ru/works/open_doc/
  • Шалыто А.А., Наумов Л.А. Методы объектно-ориентированной реализации реактивных агентов на основе конечных автоматов //Искусственный интеллект. 2004. № 4. с.756–762. http://is.ifmo.ru/works/_aut_oop.pdf
  • Shalyto A.A., Naumov L.A., Korneev G.A. Methods of Object-Oriented Reactive Agents Implementation on the Basis of Finite Automata /2005 International Conference on “Integration of Knowledge Intensive Multiagent Systems. KIMAS ’05: Modeling, Exploration, and Engineering”. USA, MA: IEEE, 2005, pp. 460–465. http://is.ifmo.ru/articles_en/_kimas05-1.pdf
  • Шопырин Д.Г., Шалыто А.А. Графическая нотация наследования автоматных классов //Программирование. 2007. № 5, с.62-74. http://is.ifmo.ru/works/_12_12_2007_shopyrin.pdf
  • Гуров В.С., Мазин М.А., Нарвский А.С., Шалыто А.А. Инструментальное средство для поддержки автоматного программирования //Программирование. 2007. № 6, с.65-80. http://is.ifmo.ru/works/_2008_01_27_gurov.pdf
  • Научно-технический вестник СПбГУ ИТМО. 2008. Вып. 53. Автоматное программирование. http://books.ifmo.ru/ntv/ntv/53/ntv_53.pdf.
  • Поликарпова Н.И., Шалыто А.А. Автоматное программирование. СПб.: Питер. 2009, 176 с. http://is.ifmo.ru/books/_book.pdf
  • Шалыто А.А. Заметки о мотивации. СПб.: Мозаика МК. 2010, 2011. - 48. 72, 112 с. http://is.ifmo.ru/belletristic/
  • Вельдер С.Э., Лукин М.А., Шалыто А.А., Яминов Б.Р. Верификация автоматных программ. СПб.: Наука. 2011, 242 с. http://is.ifmo.ru/verification/velder_verification_posobie_nauka.pdf
  • Научно-технический вестник СПбГУ ИТМО. 2011. № 2 (72). Технологии автоматного программирования и искусственного интеллекта. http://is.ifmo.ru/works/_sbornik2011.pdf
Источник — https://ru.wikipedia.org/ruwiki/w/index.php?title=Шалыто,_Анатолий_Абрамович&oldid=41910798