• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Владение языками
английский
Контакты
Телефон:
+7(495) 912-5317 доб. 404 (ИСП РАН)
+7(495) 772-9590
Электронная почта:
Адрес: Мясницкая ул., д. 20, каб. 101
Время консультаций: Пятница 15:00 - 17:00
Расписание
SPIN РИНЦ: 2635-5573
ORCID: 0000-0001-7411-3831
ResearcherID: D-8658-2014
Scopus AuthorID: 8960673500
Google Scholar
Руководитель
Аветисян А. И.
Версия для печати

 

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!

Петренко Александр Константинович

  • Начал работать в НИУ ВШЭ в 2009 году.
  • Научно-педагогический стаж: 39 лет.

Образование, учёные степени и учёные звания

  • 2011
    Ученое звание: Профессор
  • 2004
    Доктор физико-математических наук
  • 1974

    Специалитет: Московский институт электронного машиностроения, специальность «Прикладная математика»

Достижения и поощрения

Благодарность факультета (август 2017)

Выпускные квалификационные работы студентов

Полный список ВКР

Научный руководитель диссертационных исследований

на соискание учёной степени кандидата наук
1
Ефремов Д. В. Динамическая верификация ядер операционных систем для анализа выполнения высокоуровневых требований защиты информации (aспирантура: 3-й год обучения)

Учебные курсы (2017/2018 уч. год)

Учебные курсы (2016/2017 уч. год)

Учебные курсы (2015/2016 уч. год)

Учебные курсы (2014/2015 уч. год)

Научно-исследовательский семинар "Системное программирование" (Бакалавриат; где читается: Факультет компьютерных наук; программа "Программная инженерия"; 3-й курс, 1-4 модуль)Рус

Публикации7

Конференции

  • 2016

    Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE 2016) (Москва). Доклад: Proceedings of Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE 2016)

  • Конференция "Разработка ПО" CEE-SECR 2016 (Москва). Доклад: Конференция "Разработка ПО" CEE-SECR 2016

  • TAROT Summer School 2016 on Software Testing, Verification & Validation (Париж). Доклад: Operating systems verification and seciruty issues

  • 2015

    Model Based Testing Workshop - MBT-2015 (Лондон). Доклад: Proceedings of Model Based Testing Workshop - MBT-2015

  • Конференция "Разработка ПО" CEE-SECR 2015 (Москва). Доклад: Сайт конференции

  • Spring/Summer Young Researchers' Colloquium on Software Engineering (SYRCoSE 2015) (Самара). Доклад: Программа и труды конференции

  • Ershov Informatics Conference PSI-2015 (Казань). Доклад: Using Refinement in Formal Development of OS Security Model

  • 2014

    Model Based Testing Workshop - MBT-2014 (Гренобль, Франция). Доклад: Программа и труды семинара

  • Spring/Summer Young Researchers' Colloquium on Software Engineering SYRCoSE 2014 (Санкт-Петербург). Доклад: Программа и труды конференции

  • 2013

    MBT 2013 (Рим). Доклад: Программа и труды семинара

  • Spring/Summer Young Researchers' Colloquium on Software Engineering SYRCoSE 2013 (Казань). Доклад: Программа и труды конференции

Участие в редколлегиях научных журналов

  • С 2014 г.: член редколлегии журнала «Программная инженерия».

  • С 1994 г.: заместитель главного редактора журнала «Программирование».

  • С 1994 г.: член редколлегии журнала «Труды Института системного программирования РАН».


Опыт работы

Институт прикладной математики им. М.В.Келдыша РАН: с 1974 по 1994.

Институт системного программирования РАН: с 1994 года - ведущий научный сотрудник, с 2004 года - заведующий отделом Технологий программирования (Software Engineering).

МГУ: с 1999 года - доцент, с 2004 года - профессор кафедры системного программирования факультета ВМК.

Расписание занятий на сегодня

Полное расписание

XI Ершовская конференция собрала программистов со всего мира

27-29 июня в здании Российской академии наук состоялась авторитетная международная ИТ-конференция, которая регулярно проводится в  России с 1991 года — Ершовская конференция по информатике PSI-2017. Ее участники съехались в Москву из многих стран мира, чтобы обсудить актуальные вопросы программирования, лежащие на стыке прикладной науки и «чистой» математики.

Ершовская конференция собрала программистов со всего мира

27-29 июня в здании Российской академии наук прошла авторитетная международная ИТ-конференция, которая регулярно проводится в  России с 1991 года –  11-я Ершовская конференция по информатике PSI-2017. Ее участники съехались в Москву из многих стран мира, чтобы обсудить актуальные вопросы программирования, лежащие на стыке прикладной науки и «чистой» математики.

«Если ты не владеешь "скрытой" частью программного стека, ты не владеешь ничем»

В 2017 году в Вышке пройдет набор на новую магистерскую программу «Системное программирование». Там будут готовить специалистов, которые занимаются самым сложным и самым важным уровнем программирования. Кого и как будут учить на этой программе,  рассказывает ее руководитель Александр Петренко.

Вебинар магистерских программ факультета компьютерных наук НИУ ВШЭ

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

«Мне интересно то, что я выбрал, поэтому никакая другая мотивация не требуется»

Пока одни выпускники бакалавриата вступают во взрослую жизнь, устраиваясь на работу или занимаясь собственными проектами, другие начинают заново не только студенческий, но и культурный путь, поступая на магистерские программы зарубежных университетов. Мы поговорили с некоторыми из ребят и узнали, как они выбирали зарубежные университеты, какую роль сыграла в этом Вышка, и что мотивирует их продолжать учиться и заниматься научными исследованиями.