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

Костанбаев Сергей Витальевич — кандидат технических наук, главный специалист отдела разработки и сопровождения торгово-клиринговых систем Московской Биржи. Жердер Вадим Меерович — начальник отдела автоматизации тестирования, ПАО Московская биржа. Биржевые торговые системы — высоконагруженные системы, работающие в реальном времени, которые должны … Continue reading →

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

Буренков Владимир Сергеевич — научный сотрудник АО «МЦСТ». В 2012 году окончил факультет «Информатика и системы управления» МГТУ имени Н.Э. Баумана (магистр техники и технологий по направлению «Информатика и вычислительная техника»). В докладе будет рассмотрена проблема верификации протоколов когерентности памяти … Continue reading →

Абрамов Александр Владимирович — генеральный директор ООО «НТЦ «АМДЭФ». Закончил факультет микроприборов и технической кибернетики МГИЭТ (ТУ). Работал над проектами ГУП НПЦ «Спурт» и НТЦ «АМДЭФ» по созданию аппаратуры помехоустойчивого кодирования сигналов спутниковой связи. Разработчик операционных систем реального времени «Пилот» … Continue reading →

Сергей Березин — к.ф.-м.н., доцент на ВМК МГУ, руководит лабораторией «Информационных технологий в научных исследованиях». Читает авторские курсы лекций «Компьютерная графика» и «Объектно-ориентированное программирование на платформе .NET». В область профессиональных интересов входят научная визуализация, средства хранения и анализа данных, программные … Continue reading →

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

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

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

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

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