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

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск
Анатолий Абрамович Шалыто
Shalyto 200px.jpg
Дата рождения:

28 мая 1948({{padleft:1948|4|0}}-{{padleft:5|2|0}}-{{padleft:28|2|0}}) (66 лет)

Место рождения:

Ленинград

Страна:

Flag of Russia.svg Россия

Научная сфера:

Автоматное программирование

Место работы:

СПбНИУ ИТМО

Альма-матер:

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

Известен как:

Автор технологии, названной «Switch-технология», и инициатив «За открытую проектную документацию» и «Сохраним в университетах лучших!»

Сайт:

is.ifmo.ru

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

Биография[править | править вики-текст]

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

  • С 1971 г. работает в научно-производственном объединении «Аврора» (Санкт-Петербург), специализируясь в области проектирования систем логического управления и технологий программирования.
  • В 1977 г. без отрыва от производства закончил аспирантуру и защитил кандидатскую диссертацию по указанной специальности. Кандидат технических наук (1977 г.).
  • В 1985 г. присвоено учёное звание «Старший научный сотрудник» по специальности «Элементы и устройства вычислительной техники и систем управления».
  • С 1999 г. ученый секретарь предприятия.
  • В 1999 г. защитил докторскую диссертацию по той же специальности. Доктор технических наук (2000 г.).
  • С 1974 по 1991 гг. преподавал в Институте повышения квалификации руководящих работников и специалистов судостроительной промышленности (Ленинград).
  • В 1991 г. присвоено учёное звание «Доцент» по кафедре «Управляющие вычислительные системы».
  • С 1998 г. преподаёт на кафедре «Компьютерные технологии» СПбГУ ИТМО.
  • С 2000 г. профессор этой кафедры.
  • В 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 — 2011 гг. руководил научно-исследовательской работой по теме «Разработка технологии создания программного обеспечения систем управления на основе автоматного подхода», выполняемой в рамках программы фундаментальных исследований Министерства образования и науки Российской Федерации.

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

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

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

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

В 2003 — 2006 гг. опубликовал в компьютерной прессе (в основном еженедельниках «PC Week/RE» и «Компьютерра») цикл публицистических статей по проблемам образования и науки в области информационных технологий.

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

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

В 2009 г. опубликовал книгу «Автоматное программирование». СПб.: Питер. 2009, 176 с. (в соавторстве с Н.И. Поликарповой).

В 2010 г. опубликовал книгу «Заметки о мотивации», которая выдержала несколько изданий и постоянно дописывается (http://is.ifmo.ru/belletristic/).

В 2011 г. опубликовал книгу «Верификация автоматных программ». СПб.: Наука. 2011, 242 с.(в соавторстве с Вельдером С.Э., Лукиным М.А. и Яминовым Б.Р.).

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

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

Член программных комитетов ряда международных конференций (например, «IEEE International Conference on Computational Intelligence for Measurement Systems and Applications». CIMSA 2005, CIMSA 2006. Италия, Испания, «The Second AIS SIGSAND European Symposium on Systems Analysis and Design». Польша (2007), «TOOLS-EUROPE». ETH. Швейцария (2007, 2008).

Член редакционных коллегий журналов, например, «Информационно-управляющие системы», «Научно-технический вестник информационных технологий, механики и оптики», RSDN.

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

Автор сайтов по автоматному программированию 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://code.google.com/p/visio2python/