Проценко Александр Сергеевич
- Приглашенный преподаватель:Факультет компьютерных наук / Базовая кафедра «Системное программирование» Института системного программирования им. В.П. Иванникова РАН (ИСП РАН)
- Начал работать в НИУ ВШЭ в 2024 году.
Учебные курсы (2020/2021 уч. год)
Конструирование программного обеспечения (Бакалавриат; где читается: Факультет компьютерных наук; 2-й курс, 1-4 модуль)Рус
Публикации1
Глава книги Protsenko A. S., Chupilko M. Recognition and Explanation of Incorrect Behavior in Simulation-Based Hardware Verification, in: Proceedings of the 7th Spring/Summer Young Researchers’ Colloquium on Software Engineering, SYRCoSE 2013 / Отв. ред.: A. Kamkin.; Ed. by A. Petrenko, A. Terekhov. Kazan : -, 2013. P. 25-31.