Научный семинар Департамента программной инженерии в 2016-2017 учебном году

16 марта 2017 года

Жукова Галина Николаевна,

к.ф.-м.н., доцент, Московский политехнический университет

Фомичев Михаил Игоревич,

преподаватель ДПИ ФКН НИУ ВШЭ

Ульянов Михаил Васильевич,

д.т.н., профессор ИПУ РАН, ВМК МГУ, ФКН НИУ ВШЭ

Вероятностный прогноз сложности индивидуальных задач коммивояжера

    В докладе приводятся результаты статистического исследования сложности несимметричной задачи коммивояжера (NTSP), полученные в результате обработки пула, состоящего из 15*10⁶ несимметричных матриц. Показано, что нормальное распределение удовлетворительно приближает распределение логарифма сложности при фиксированной размерности задачи. На этой основе построено семейство распределений сложности, позволяющее удовлетворительно решить задачу вероятностного прогнозирования. Вводится понятие TSP-сложности матрицы, на основе которого формулируются два направления развития исследований.

Время:     16:40
Место:     Кочновский проезд,  д. 3, ауд.402
Язык семинара:     русский

31 января 2017 года

Uolevi Nikula

Associate Professor, D.Sc. (Tech.), Department of Innovation and Software, LUT School of Business and Management

LUT Software Engineering Activities

In this presentation we shall introduce in short the LUT School of business and management, Department of Industrial Engineering and Management, and the Software Engineering Research Group. The software engineering activities are presented from the research, educational and staff points of view to get an overview of LUT activities, and each topic can be discussed further as time allows. The school is responsible for about 2/3 of the degrees produced at LUT with circa 400 Master’s and 220 Bachelor’s degrees annually from which 43 Master’s and 28 Bachelor’s degrees graduated from the Computer Science programs given by the Software Engineering group. The LUT software engineering research builds on empirical and qualitative approaches with the key research areas on usability, testing, requirements, process improvement, sustainability, and gaming to name just a few. Most of the research involves partners both from industry and international forums.

Время:     16:40
Место:     Кочновский проезд,  д. 3, ауд.402
Язык семинара:     английский

1 декабря 2016 года

Дударев Виктор Анатольевич

к.т.н., доцент ДПИ ФКН

Интеграция гетерогенных информационных систем по свойствам неорганических веществ

В докладе кратко рассматриваются методы компьютерного конструирования неорганических соединений. Выделяется метод поиска многомерных эмпирических классифицирующих закономерностей как наиболее перспективный  для  прогнозирования  свойств неорганических веществ. Приводится информация по созданию ряда информационных систем по свойствам неорганических веществ и материалов. Рассматривается методология интеграции   информационных систем по свойствам неорганических веществ и материалов, основанная на трех методах интеграции: EAI, EII  и ETL, а также создание интегрированной информационной системы по свойствам неорганических веществ в ИМЕТ РАН. Приводятся результаты использования интегрированной информационной системы в комплексе  с программами распознавания образов для решения практических задач компьютерного конструирования неорганических соединений.

Время:     16:40
Место:     Кочновский проезд,  д. 3, ауд.402
Язык семинара:     русский

26 октября 2016 года

Мандрыкин Михаил Усамович

Сотрудник ИСП РАН

Моделирование памяти Си-программ для инструментов статической верификации на основе SMT-решателей

Язык программирования Си продолжает оставаться широко используемым языком
программирования при разработке систем, предъявляющих высокие требования к
производительности или объему исполняемых программ. При этом одним из основных преимуществ Си является присутствие широкого набора доступных операций с указателями, позволяющих эффективно управлять использованием памяти, в том числе произвольно манипулируя адресами размещаемых в ней данных. Так как ко многим высокопроизводительным системам предъявляются требования по высокой надежности, продолжает оставаться актуальной задача верификации Си-программ, в том числе статической верификации, позволяющей получать доказательства отсутствия по крайней мере некоторых классов ошибок, или доказательства полного соответствия программ заданным формальным спецификациям.
Во многих современных инструментах статической верификации используются SMT-решатели, и, таким образом, семантика языка программирования частично или
полностью моделируется с помощью логических формул в соответствующих теориях (SMT-формул). Для языка Си основной проблемой при моделировании семантики в виде логических формул является моделирование семантики операций с указателями, в частности, указателями на динамически выделяемые области памяти наперед не ограниченного размера, а также моделирование различных приведений типов указателей и случаев использования объединений. При этом даже небольшие изменения в методе моделирования состояния памяти могут приводить к изменению времени работы SMT-решателей на результирующих формулах в несколько десятков раз.
В докладе рассматриваются наиболее известные существующие подходы к
моделированию изменяющегося состояния памяти Си-программ в виде SMT-формул. Рассматривается также проблема обновления знаний о состоянии программы при обновлении некоторого значения в динамической памяти, в частности для структур данных со списочным скелетом (одно- и двусвязные списки, деревья, СНМ и др.).

Время:     16:40
Место:     Кочновский проезд,  д. 3, ауд.402
Язык семинара:     русский

29 сентября 2016 года

Лаборатория Касперского 

Целенаправленные кибератаки: анатомия, развитие, защита.

Кибервойна откатилась в средневековье: атаки становятся все жестче, и в то же время — проще и эффективнее. Вместо эксплойтов нулевого дня, руткитов нулевого кольца и кастомных пиринговых протоколов с нестандартной криптографией злоумышленники все чаще пользуются стандартными утилитами, социальной инженерией, ошибками конфигурации, скриптами и даже bat-файлами.Сергей Гордейчик, эксперт «Лаборатории Касперского», расскажет вам все об анатомии современных кибератак.

На примерах реальных атак вы увидите, как развиваются тактики, техники и процедуры злоумышленников, проанализируете современные технологии защиты и снижения рисков, связанных с целенаправленными атаками (таких как SandBoxing, Network Forensic, Endpoint Detection and Response, Cyber Threat Intelligence), а также узнаете о подходах к организации процесса Threat Hunting на базе корпоративного SOC или MSSP. 

РАСПИСАНИЕ КИБЕРВСТРЕЧИ

17:30-18:00        Сбор гостей

18:00-18:30        Выступление Кирилла Ширяева

18:30-20:00        Выступление Сергея Гордейчика

20:00-20:30        Q&A-сессия

20:30-21:00        Неформальное общение

Не забудьте зарегистрироваться до 27 сентября включительно! https://goo.gl/441X8y  

Время:     18.00
Место:     Кочновский проезд,  д. 3, ауд.622
Язык семинара:     русский

21 сентября 2016 года

Ульянов Михаил Васильевич
Профессор Департамента программной инженерии НИУ ВШЭ, 
профессор ВМК МГУ, МГТУ 
в.н.с.ИПУ РАН

Математические этюды. По мотивам результатов Леонарда Эйлера

1.      Фокус Эйлера и ядро Дирихле.
2.      Рождение экспонеты из бинома Ньютона.
3.      Решето Эратосфена в исполнении Леонарда Эйлера.

Время:     16:40
Место:     Кочновский проезд,  д. 3, ауд.311
Язык семинара:     русский