Author Archives: Евгений Корныхин

20 октября: Инструментальная поддержка процесса верификации, определенного в документах DO-178B/C

Козырев Владимир Петрович — кандидат технических наук, доцент кафедры кибернетики НИЯУ МИФИ, эксперт компании «ДС БАРС». В докладе рассматривается процесс верификации программ, разрабатываемых в соответствии с требованиями стандартов DO-178B/C, обязательные мероприятия (activities), проводимые в рамках этого процесса, и инструменты, используемые … Continue reading

2 Comments

15 сентября: Динамическая композиция программных компонентов

Гринкруг Ефим Михайлович — кандидат технических наук, профессор департамента программной инженерии факультета компьютерных наук НИУ ВШЭ. В прошлом — разрабочик ОС М-10 (НИИ Вычислительных комплексов имени М.А. Карцева, эксперт компании Параграф (www.parallelgraphics.com), начальник отдела LuxoftLabs и CТО компании Meshnetics. Обсуждается … Continue reading

Leave a comment

21 апреля: Методы деанонимизации пользователей сети Tor

Авдошин Сергей Михайлович — руководитель Департамента программной инженерии НИУ Высшая школа экономики, кандидат технических наук, профессор НИУ ВШЭ. Лазаренко Александр Вячеславович — студент 2 курса бакалавриата образовательной программы «Программная инженерия» НИУ Высшая школа экономики. На сегодняшний день одним из инструментов … Continue reading

Leave a comment

24 марта: Геоинформационное ПО: технологии и проблемы

Барышников Дмитрий — разработчик NextGIS, коммитер GDAL, член сообщества ГИС-Лаб. Геоинформационное программное обеспечение (ГИС) решает задачи, связанные со сбором, обработкой и представлением геоданных - особого вида данных, обязательно имеющих пространственную компоненту (географические или иные координаты). Речь пойдет о том, что … Continue reading

Leave a comment

18 февраля: Технология разработки пакетов поддержки модулей для ОС РВ Багет

Лазутин Юрий Михайлович — доктор ф.-м. наук (05.13.11), заведующий отделом базового программного обеспечения в отделении разработки вычислительных систем ФГУ ФНЦ НИИСИ РАН. Одной из разработок НИИСИ РАН являются операционные системы реального времени, в частности, ОС РВ Багет 2.* и ОС … Continue reading

Leave a comment

28 января: Среда динамического моделирования технических систем SimInTech как универсальная платформа для создания динамических моделей технических систем

Петухов Вячеслав Николаевич — генеральный директор ООО «3В Сервис». Закончил факультет энергетического машиностроения МГТУ имени Н.Э. Баумана, специалист по ядерным энергетическим установкам. Скворцов Леонид Маркович — один из разработчиков системы SimInTech. Окончил Московский институт электронного машиностроения в 1973 году. Работал … Continue reading

Leave a comment

17 декабря: Формальная верификация модуля безопасности ядра Linux

Денис Валентинович Ефремов — сотрудник ИСП РАН. Закончил факультет ВМК МГУ имени М.В. Ломоносова в 2011 году. Работал над проектами ИСП РАН по созданию защищённого гипервизора, проектами по созданию инструментов статической и динамической верификации. Ведёт семинары и практические занятия на … Continue reading

Leave a comment

19 ноября: Сложность в инженерии

Анатолий Левенчук — президент TechInvestLab, директор по исследованиям Русского отделения INCOSE, член исполкома Русского отделения SEMAT, член ACM/SIGSOFT, расскажет о борьбе сложностью в инженерии. Главным средством этой борьбы является системный подход, который предлагает множество приёмов мышления, помогающих системному инженеру разбить … Continue reading

Leave a comment

15 октября: PleskFS — гибридная файловая система для облачного веб-хостинга

Михаил Рутман — ведущий программист ЛСКТ НИЧ НГУ (лаборатории современных компьютерных технологий научно-исследовательской части НГУ), старший преподаватель кафедры общей информатики факультета информационных технологий Новосибирского государственного университета. Выпускник физического факультета НГУ. Долгое время работал в компании СИГНАТЕК, где прошел путь от … Continue reading

Leave a comment

Сезон 2015/2016

Уважаемые слушатели семинара! Осень 2015 года семинар продолжает свою работу. Первое заседание запланировано на 15 октября. Как и раньше, семинар проходит на факультете ВМК МГУ в 18:00. Если вы еще не были у нас раньше, напишите, пожалуйста, заранее письмо на … Continue reading

Leave a comment