начало 16:30 20/04/2018

 

20 апреля 2018 года в 16.30 в Новосибирском Технопарке (ул. Николаева, 11, этаж 13) состоится XIII Ершовская лекция по информатике. Лекцию прочитает д.ф.-м.н., профессор Андрей Валерьевич Манцивода, Иркутск. Тема лекции - «Семантическое моделирование и развитие цифровых технологий».

Очередную XIII лекцию ежегодного цикла лекций по информатике и программированию памяти основателя сибирской школы программирования академика Андрея Петровича Ершова организуют Новосибирский региональный общественный фонд информатики и искусства программирования имени академика А.П. Ершова, Институт систем информатики имени А.П. Ершова СО РАН, Институт математики имени С.Л.Соболева СО РАН. Лекции приурочиваются к дню рождения ученого - 19 апреля. 

Андрей Валерьевич Манцивода - директор исследовательского центра интеллектуального управления контентом (ИНТЕЛКОН) при Иркутском ГУ, соучредитель стартапа Libretto Labs (резидент фонда Сколково с 2011 г.).

Основной сферой интересов А.В. Манциводы является применение методов математической логики в информационных технологиях, искусственном интеллекте и распределенных информационных пространствах – от теоретических основ, до коммерциализации соответствующих инновационных технологий.

В рамках этой деятельности создал функционально-логический язык программирования в ограничениях Flang (1991). Разработал один из самых эффективных компиляторов языка Prolog (совместно с В. Петухиным, 1993). В 1995-1996 гг. работал в Katholieke Universiteit Leuven (Бельгия), где разработал систему решения комбинаторных задач методом удовлетворения ограничений (совместно с H. Vandecastille). Занимался задачами представления знаний в рамках теории семантического программирования (д.ф.-м.н., 1995) и дескрипционных логик.

В 1997-2002 занимался продвижением в Иркутской области информационных технологий в сфере науки, образования и медицины, руководил проектом создания региональных образовательной и медицинской информационно-телекоммуникационных сетей.

Разработал язык программирования Libretto (совместно с А. Малых), на основе которого был построен одноименный веб-фреймворк. В рамках данного проекта стал соучредителем стартапа Libretto Labs (резидент фонда Сколково).

В 2012–2015, являясь проректором по стратегическому развитию Иркутского государственного университета, руководил разработкой веб-сервиса управления бюджетным процессом bSystem. Сервис базировался на концепции семантического программирования, и в дальнейшем был развит до платформы управления моделями знаний на основе технологии документного моделирования. Для коммерциализации технологии документного моделирования А.В.Манцивода организовал несколько стартапов, включая компании Логус (облачная платформа управления документными моделями) и Оберон (система автозаказа и дизайна ассортимента в ритейле – совместно с крупнейшим региональным ритейлером "Слата").

Аннотация лекции А.В. Манциводы «Семантическое моделирование и развитие цифровых технологий»

Источники

XIII Ершовская лекция по информатике
ИСИ СО РАН , 19/04/2018

Похожие новости

  • 14/09/2017

    Разработка новосибирских ученых получила премию на крупнейшем европейском конгрессе по алгоритмам

    ​На 13-й международной конференции по алгоритмам и экспериментам для беспроводных сенсорных сетей ALGOSENSORS в Вене (Австрия) в двух статьях были представлены разработки лаборатории алгоритмики ММФ НГУ, сделанные совместно с коллегами из Берлина и Института математики им.
    597
  • 19/04/2016

    В Институте систем информатики СО РАН проходит XI Ершовская лекция по информатике

    ​19 апреля Институт систем информатики СО РАН проводит традиционную XI Ершовскую лекцию.В этом году с Ершовской лекцией выступит известный российский специалист по системному программированию д.ф.-м.н.
    1617
  • 22/06/2017

    Участники «Технопрома» - о развитии и применении искусственного интеллекта

    ​Глубинное обучение (Deep Learning) - область машинного обучения, которая активно развивается последние годы. Конечно, это не тот искусственный интеллект, который представляют себе фантасты, но уже сегодня многие алгоритмы решают задачи биомедицины, машиностроения, обработки естественного языка.
    537
  • 12/07/2017

    В Москве прошла Ершовская конференция PSI-2017

    Одна из наиболее авторитетных международных ИТ-конференций, PSI-2017, состоялась в конце июня в главном здании Российской академии наук. Ее участниками стали представители фундаментальной и прикладной науки, приехавшие в Москву со всего мира.
    640
  • 30/06/2016

    Приказ ВАК о создании объединенного диссертационного совета на базе ИСИ СО РАН, ИВМиМГ СО РАН, ИМ СО РАН

    Приказом ВАК от 24 июня 2016 г. № 793/нк выдано разрешение на создание объединенного диссертационного совета Д 999.082.03 по защитам диссертаций на соискание ученой степени кандидата наук, на соискание ученой степени доктора наук.
    1049
  • 20/10/2016

    На Биографических чтениях памяти В. Иофе

    ​Научный сотрудник Института систем информатики им. А.П. Ершова СО РАН (Новосибирск) Ирина Крайнева выступила с докладом на Биографических чтениях памяти В. Иофе 2016 г., статью по мотивам которого мы рады опубликовать, не дожидаясь выхода в свет сборника материалов этих Чтений, где она будет напечатана.
    1129
  • 18/07/2016

    Сергей Гончаров: без фундаментальной науки не будет прогресса

    ​Драйверами модернизации экспортно ориентированных производств России могут стать перспективные направления фундаментальной, или, как еще ее называют, "чистой", науки.  В связи с этим особенно важно решить вопросы финансирования и правильного определения приоритетных направлений развития фундаментальных исследований.
    1380
  • 13/01/2015

    Академик Искандер Асанович Тайманов - об основных тенденциях математики

    ​Заведующий лабораторией динамических систем Института математики им. С.Л. Соболева академик Искандер Асанович Тайманов рассказал редакции "Науки в Сибири" об основных тенденциях этой точной науки.
    920
  • 07/02/2017

    Новосибирские ученые моделируют болезнь

    ​Работая с пациентом, врач анализирует симптомы, определяет заболевание и прописывает лекарства, но стандартная схема лечения эффективна не для всех. Дело в том, что организм каждого человека имеет свой иммунный ответ, зависящий от истории болезней и характеристик иммунокомпетентных клеток.
    721
  • 06/03/2016

    Академику Александру Алексеевичу Боровкову - 85 лет!

    ​​​Александр Алексеевич Боровков родился 6 марта 1931 года в г. Москве. В 1954 году окончил Механико-математический факультет Московского государственного университета. С 1960 года работает в Институте математики СО РАН.
    1809