Алексей Хорошилов

Avatar1

Алексей Хорошилов, ведущий научный сотрудник ИСП РАН.
Кандидат физико-математических наук (2006 г.), тема диссертации - «Спецификация и тестирование компонентов с асинхронным интерфейсом», руководитель А. К. Петренко. С 1999 года работает в Институте системного программирования РАН. С 2009 года работает на кафедре Системного программирования факультета Вычислительной математики и кибернетики МГУ. Основные научные результаты: участие в создании технологии разработки тестов на основе формальных моделей UniTESK и поддерживающих ее инструментов, разработка унифицированной архитектуры тестового набора и правил построения расширений языков программирования для разработки тестов на основе контрактных спецификаций, разработка методов построения тестов для математических библиотек, разработка специализированной технологии быстрого создания тестов работоспособности.


Научно-технологическая платформа моделирования и верификации политик безопасности управления доступом в операционных системах

Содокладчики: Денис Медведев, Александр Оружейников

В докладе представлен опыт проведения лекций и лабораторных работ по программированию ядра операционной системы, целью которых является знакомство студентов на практике с основными принципами построения операционных систем. Обучение построено на основе материалов курса Operating System Engineering, который развивается в Массачусетском технологическом институте уже более 10 лет. В качестве основы для работы студентов используется учебное "экзо"-ядро операционной системы JOS, распространяемое под свободной лицензией. В докладе представлена структура курса, включая его отличия от курса МТИ, и особенности использования свободного программного обеспечения при проведении лабораторных работ. Курс "Конструирование ядра операционной системы" проводится для студентов кафедры Системного программирования факультета ВМиК Московского Государственного Университета имени М.В. Ломоносова, кафедры Системного программирования ФУПМ МФТИ и в рамках магистерской программы "Системное программирование" факультета компьютерных наук ВШЭ.

Организаторы

При поддержке