XIII Ершовская лекция по информатике и программированию, 20 апреля 2018 г.
Новосибирский региональный общественный фонд информатики и искусства программирования им. академика А.П. Ершова, Институт систем информатики имени А.П. Ершова СО РАН, Институт математики им. С.Л.Соболева СО РАН организуют очередную XIII лекцию ежегодного цикла лекций по информатике и программированию памяти основателя сибирской школы программирования академика Андрея Петровича Ершова. Лекции приурочиваются к дню рождения ученого - 19 апреля.
20 апреля 2018 года в 16.30 в Новосибирском Технопарке (ул. Николаева, 11, этаж 13) состоится XIII Ершовская лекция по информатике. Лекцию прочитает д.ф.-м.н., профессор Андрей Валерьевич Манцивода, Иркутск. Тема лекции - «Семантическое моделирование и развитие цифровых технологий».
Андрей Валерьевич Манцивода - директор исследовательского центра интеллектуального управления контентом (ИНТЕЛКОН) при Иркутском ГУ, соучредитель стартапа Libretto Labs (резидент фонда Сколково с 2011 г.).
Основной сферой интересов А.В. Манциводы является применение методов математической логики в информационных технологиях, искусственном интеллекте и распределенных информационных пространствах – от теоретических основ, до коммерциализации соответствующих инновационных технологий.
В рамках этой деятельности создал функционально-логический язык программирования в ограничениях Flang (1991). Разработал один из самых эффективных компиляторов языка Prolog (совместно с В. Петухиным, 1993). В 1995-1996 гг. работал в Katholieke Universiteit Leuven (Бельгия), где разработал систему решения комбинаторных задач методом удовлетворения ограничений (совместно с H. Vandecastille). Занимался задачами представления знаний в рамках теории семантического программирования (д.ф.-м.н., 1995) и дескрипционных логик.
В 1997-2002 занимался продвижением в Иркутской области информационных технологий в сфере науки, образования и медицины, руководил проектом создания региональных образовательной и медицинской информационно-телекоммуникационных сетей.
Разработал язык программирования Libretto (совместно с А. Малых), на основе которого был построен одноименный веб-фреймворк. В рамках данного проекта стал соучредителем стартапа Libretto Labs (резидент фонда Сколково).
В 2012–2015, являясь проректором по стратегическому развитию Иркутского государственного университета, руководил разработкой веб-сервиса управления бюджетным процессом bSystem. Сервис базировался на концепции семантического программирования, и в дальнейшем был развит до платформы управления моделями знаний на основе технологии документного моделирования. Для коммерциализации технологии документного моделирования А.В.Манцивода организовал несколько стартапов, включая компании Логус (облачная платформа управления документными моделями) и Оберон (система автозаказа и дизайна ассортимента в ритейле – совместно с крупнейшим региональным ритейлером "Слата").