ОтУС представляет лекцию «Программирование в ограничениях – в погоне за заветной целью программирования»

Лекция проводится при поддержке Шведского научно-исследовательского института информатики и Национального исследовательского ядерного университета «МИФИ»

Москва: 29 марта 2012 года, 18:30

Место проведения: Крымский вал, д. 3, Национальный исследовательский технологический университет «МИСиС» (НИТУ «МИСиС»), аудитория К-212

Язык лекции: русский

Регистрация: http://openu.timepad.ru/event/22279

Прямая трансляция: http://www.sk.ru/live/

Уважаемые студенты и слушатели Открытого Университета Сколково!

Приглашаем вас на открытую лекцию «Программирование в ограничениях – в погоне за заветной целью программирования», которую организует Открытый университет Сколково совместно со Шведским научно-исследовательским институтом информатики и Национальным исследовательским ядерным университетом «МИФИ».

Лекцию проводит Матс Карлссон – ведущий научный сотрудник Шведского научно-исследовательского института информатики. Он расскажет об актуальной и широко обсуждаемой ИТ сообществом теме программирования в ограничениях и рассмотрит области его применения.

Матс приведет описание и примеры парадигмы программирования в ограничениях, рассмотрит показательные примеры приложений, а так же обсудит недостатки, перспективы и текущие научные исследования в этой области.

Основные темы лекции:

• Программирование в ограничениях (ПвО) является эффективным подходом к поиску допустимого или оптимального решения задач прикладной математики.
• ПвО широко применяется в промышленных системах поддержки принятия решений, а также в различных системах искусственного интеллекта.
• ПвО черпает методы из таких научных направлений как: искусственный интеллект, исследование операций, алгоритмы и языки программирования.
• ПвО является связующим программным обеспечением между высокоэффективными алгоритмами и математическими моделями.
• Ограничения являются многократно используемыми, эффективными программными компонентами.

Матс является научным консультантом компании резидента ИТ кластера Сколково «Логос – Агентные технологии», ведущей разработку программно-аппаратных комплексов управления сложными транспортными системами на основе агентных технологий. Примером таких комплексов служат современные компьютерные тренажеры муниципального транспорта и легковых автомобилей для обучения вождению в условиях насыщенного городского движения и действиям в экстремальных ситуациях.

Матс Карлссон, старший научный сотрудник Шведского научно-исследовательского института информатики (SICS-Swedish Institute of Computer Science), Стокгольм. Ph.D, профессор информатики. Имеет научные труды в области декларативного программирования. Регулярно участвует в работе программных комитетов научных конференций и семинаров по той же тематике. Является автором среды программирования на Прологе «SICStus Prolog», получившей широкое распространение во всем мире для исследовательских и образовательных целей в системах на основе UNIX и Windows. Разработчик Aurora OR-parallel Prolog для многопроцессорных систем с памятью общего доступа. Основатель компании Uppsala Logikprogrammering AB. Участвовал во многих научно-прикладных проектах с финансированием от Евросоюза и шведских заказчиков.