Tutors
Avetisyan, Arutyun
Faculty of Computer Science; Joint Department with the RAS Institute for System Programming : Department Head, Professor
Parallel Programming (2 year, 1, 2 module)
Mentor's Seminar (2 year, 1-3 module)
Mentor's Seminar (1 year, 1-4 module)
Getman, Alexander
Faculty of Computer Science; Joint Department with the RAS Institute for System Programming : Associate Professor
Computer Networks and Telecommunications (1 year, 1, 2 module)
Evtushenko, Nina V.
Faculty of Computer Science; Joint Department with the RAS Institute for System Programming : Professor
Formal Methods in Software Engineering. Additional Chapters (2 year, 1, 2 module)
Zelenov, Sergey V.
Faculty of Computer Science; Joint Department with the RAS Institute for System Programming : Associate Professor
Applied System Analysis (1 year, 2 module)
Kamkin, Alexander
HSE Tikhonov Moscow Institute of Electronics and Mathematics (MIEM HSE); School of Computer Engineering: Associate Professor; Faculty of Computer Science; Joint Department with the RAS Institute for System Programming : Associate Professor
Software Verification (1 year, 1, 2 module)
Kulagin, Ivan
Faculty of Computer Science; Joint Department with the RAS Institute for System Programming : Visiting Lecturer
Machine-dependent Сompiler Оptimizations (2 year, 1 module)
Мельник Дмитрий Михайлович
Faculty of Computer Science; Joint Department with the RAS Institute for System Programming : Visiting Lecturer
Compiler Technologies 1 (1 year, 3, 4 module)
Compiler Technologies 2 (2 year, 1 module)
Монаков Александр Владимирович
Faculty of Computer Science; Joint Department with the RAS Institute for System Programming : Visiting Lecturer
Parallel Programming (2 year, 1, 2 module)
Petrenko, Alexander K.
Faculty of Computer Science; Joint Department with the RAS Institute for System Programming : Professor
Mentor's Seminar (2 year, 1-3 module)
Mentor's Seminar (1 year, 1-4 module)
Sorokin, Konstantin
HSE Campus in St. Petersburg; St.Petersburg School of Economics and Management; Department of Economics: Senior Lecturer; HSE Campus in St. Petersburg; St.Petersburg School of Economics and Management; International Laboratory of Game Theory and Decision Making : Research Fellow
Artificial Intelligence in Program Testing and Analysis (1 year, 1, 2 module)
Khoroshilov, Alexey V.
Faculty of Computer Science; Joint Department with the RAS Institute for System Programming : Associate Professor
Operating System Kernel Construction (1 year, 3, 4 module)
Шокуров Александр Владимирович
Faculty of Computer Science; Joint Department with the RAS Institute for System Programming : Visiting Lecturer
Theoretical Cryptography (2 year, 1, 2 module)