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

18 декабря: Операционная система «Реактос»

Брагин Алексей Владимирович — президент Фонда «Реактос». Выпускник МГТУ им. Н.Э.Баумана – окончил магистратуру кафедры ИУ7, а затем и аспирантуру. Начал заниматься операционными системами с 2002 года внеся значительный вклад в развитие проекта ReactOS, где занимался непосредственно разработкой ядра и … Continue reading

3 Comments

20 ноября: Операционная система Фантом ОС

Завалишин Дмитрий Константинович — совладелец и руководитель компании «Digital Zone». В различное время был держателем гейта из Фидонет в Интернет на узле (5020/128), модератором ряда эхоконференций Фидонет, в том числе su.os2.*, создателем проекта «прописи», создателем сетевого журнала «dz-online». После покупки … Continue reading

Leave a comment

16 октября: Состояние и перспективы развития суперкомпьютерных технологий, актуальные задачи.

Скачать слайды к выступлению Эйсымонт Леонид Константинович — научный консультант предприятия ФГУП «НИИ “Квант”». Выпускник Московского Инженерно-Физического Института (1973, МИФИ), к.ф.-м.н. (1983, ИПМ им. М.В. Келдыша АН СССР). Область научных интересов — архитектура и программное обеспечение, элементно-конструкторская база суперкомпьютеров разного … Continue reading

Leave a comment

22 мая: Генерация кода как задача математического программирования

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

Leave a comment

17 апреля: Расширяемые программы

Горбунов-Посадов Михаил Михайлович — зав. отделом Института прикладной математики имени М.В. Келдыша РАН, д.ф.-м.н., лауреат Премии Совета Министров СССР. Область научных интересов: инструментальные средства конструирования программ, электронные государственные закупки. В основе расширяемых программных конструкций лежат два взаимосвязанных постулата: (1) Любая … Continue reading

Leave a comment

20 марта: Построение расписаний для строго-периодических систем реального времени

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

Leave a comment

20 февраля: Интерактивный алгоритм составления тестовых случаев

Строк Федор Владимирович — выпускник совместной магистерской программы Высшей Школы Экономики и Яндекса «Анализ Интернет Данных». В данный момент аспирант отделения прикладной математики и информатики НИУ-ВШЭ. Работает старшим инженером по автоматизации тестирования в группе тестирования баннерной системы Яндекса. Область научных … Continue reading

4 Comments

19 декабря: Верификация параллельных программ в случае слабой консистентности памяти (по-английски)

Roland Meyer - профессор-ассистент теоретической информатики, руководитель группы теории параллельного программирования (Технический университет Кайзерслаутерн). Он окончил Университет Ольденбурга (Германия) и там же получил степень кандидата наук. Проходил стажировку в LIAFA (Laboratoire d’Informatique Algorithmique: Fondements et Applications), Париж. Научные интересы: автоматизация … Continue reading

2 Comments

21 ноября: Программно-конфигурируемые сети: практические проблемы и задачи.

Шалимов Александр Владиславович — старший программист-разработчик Центра Прикладных Исследований Компьютерных Сетей (ЦПИКС) и младший научный сотрудник МГУ имени М.В. Ломоносова. Окончил факультет ВМК МГУ, кандидат физико-математических наук. В 2010 году прошел стажировку в Microsoft Research (США), где занимался разработкой компилятора … Continue reading

Leave a comment

17 октября: Исследовательские микроядерные операционные системы. Достижения последнего десятилетия, особенности архитектур, вызовы будущего.

Семинар «Технологии разработки и анализа программ» продолжает свою работу в 2013 году. Сартаков Василий Андреевич - аспирант МИФИ (факультет кибернетики и информационной безопасности), более пяти лет разработок в области встраиваемых и высокопроизводительных систем. Специалист по операционным системам, контрибьютор в нескольких … Continue reading

Leave a comment