• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
Language Proficiency
English
Contacts
Phone:
+7(495) 912-5317 доб. 404 (ИСП РАН)
+7(495) 772-9590
E-mail:
Timetable
SPIN-RSCI: 2635-5573
ORCID: 0000-0001-7411-3831
ResearcherID: D-8658-2014
Scopus AuthorID: 8960673500
Google Scholar
Supervisor
A. Avetisyan
Printable version

 

Have you spotted a typo?
Highlight it, click Ctrl+Enter and send us a message. Thank you for your help!
To be used only for spelling or punctuation mistakes.

Alexander K. Petrenko

  • Alexander K. Petrenko has been at HSE since 2009.

Education, Degrees and Academic Titles

  • 2011
    Professor
  • 2004

    Doctor of Sciences*

  • 1974

    Degree in Applied Mathematics
    Moscow Institute of Electronic Engineering

* Doctor of Sciences
A post-doctoral degree called Doctor of Sciences is given to reflect second advanced research qualifications or higher doctorates in ISCED 2011.

Student Term / Thesis Papers

Full list of of student term / thesis papers

Courses (2018/2019)

Courses (2017/2018)

Courses (2016/2017)

Program Verification (Bachelor’s programme; Faculty of Computer Science; 3 year, 3, 4 module)Rus

Courses (2015/2016)

Research Seminar "System Programming" (Bachelor’s programme; Faculty of Computer Science; 3 year, 1-3 module)Rus

Courses (2014/2015)

Research Seminar "System Programming" (Bachelor’s programme; Faculty of Computer Science; 3 year, 1-4 module)Rus

Publications11

Conferences

  • 2016

    Международная научная студенческая конференция МНСК-2016 (Новосибирск). Presentation: Добротность программных систем

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

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

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

  • 2015

    Model Based Testing Workshop - MBT-2015 (Лондон). Presentation: Proceedings of Model Based Testing Workshop - MBT-2015

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

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

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

  • 2014

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

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

  • 2013

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

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


Editorial board membership

  • 2014: Member of the Editorial Board, Программная инженерия.

  • 1994: Deputy Editor-in-chief, Программирование (Programming and Computer Software).

  • 1994: Member of the Editorial Board, Труды Института системного программирования РАН (Proceedings of the Institute for System Programming).

Timetable for today

Full timetable