Alexander K. Petrenko
- Professor: Faculty of Computer Science / Joint Department with the RAS Institute for System Programming
- Programme Academic Supervisor: System Programming
- Alexander K. Petrenko has been at HSE University since 2009.
Education, Degrees and Academic Titles
Moscow Institute of Electronic Engineering
A post-doctoral degree called Doctor of Sciences is given to reflect second advanced research qualifications or higher doctorates in ISCED 2011.
Courses (2024/2025)
- Mentor's Seminar (Master’s programme; Faculty of Computer Science; 2 year, 1-3 module)Rus
- Mentor's Seminar (Master’s programme; Faculty of Computer Science; 1 year, 1-4 module)Rus
- Research Seminar "System Programming 1" (Bachelor’s programme; Faculty of Computer Science; 3 year, 1-3 module)Rus
- Research Seminar "System Programming 2" (Bachelor’s programme; Faculty of Computer Science; 4 year, 1-3 module)Rus
- Past Courses
Courses (2023/2024)
- Mentor's Seminar (Master’s programme; Faculty of Computer Science; 1 year, 1-4 module)Rus
- Mentor's Seminar (Master’s programme; Faculty of Computer Science; 2 year, 1-3 module)Rus
- Research Seminar "System Programming 1" (Bachelor’s programme; Faculty of Computer Science; 3 year, 1-3 module)Rus
- Research Seminar "System Programming 2" (Bachelor’s programme; Faculty of Computer Science; 4 year, 1-3 module)Rus
Courses (2022/2023)
- Mentor's Seminar (Master’s programme; Faculty of Computer Science; 1 year, 1-4 module)Rus
- Program Verification (Bachelor’s programme; Faculty of Computer Science; 3 year, 1, 2 module)Rus
- Research Seminar "Software Engineering: Programming Technologies" (Master’s programme; Faculty of Computer Science; 2 year, 1, 2 module)Rus
- Research Seminar "System Programming 1" (Bachelor’s programme; Faculty of Computer Science; 3 year, 1-3 module)Rus
- Research Seminar "System Programming 2" (Bachelor’s programme; Faculty of Computer Science; 4 year, 1-3 module)Rus
Courses (2021/2022)
- Research Seminar "Software Engineering: Programming Technologies" (Master’s programme; Faculty of Computer Science; 2 year, 1, 2 module)Rus
- Research Seminar "Software Engineering: Programming Technologies" (Master’s programme; Faculty of Computer Science; 1 year, 1-4 module)Rus
- Research Seminar "System Programming" (Bachelor’s programme; Faculty of Computer Science; 4 year, 1-3 module)Rus
- Research Seminar "System Programming" (Bachelor’s programme; Faculty of Computer Science; 3 year, 1-3 module)Rus
Courses (2020/2021)
- Program Verification (Bachelor’s programme; Faculty of Computer Science; 3 year, 1, 2 module)Rus
- Research Seminar "Software Engineering: Programming Technologies" (Master’s programme; Faculty of Computer Science; 2 year, 1, 2 module)Rus
- Research Seminar "Software Engineering: Programming Technologies" (Master’s programme; Faculty of Computer Science; 1 year, 1-4 module)Rus
- Research Seminar "System Programming" (Bachelor’s programme; Faculty of Computer Science; 3 year, 1-3 module)Rus
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