Tutors
Avetisyan, Arutyun
Faculty of Computer Science; Joint Department with the RAS Institute for System Programming : Department Head, Professor
Research Seminar "Software Engineering: Programming Technologies" (2 year, 1, 2 module)
Gaysaryan, Sergey S.
Compiler Technologies (1 year, 3, 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)
Демаков Алексей Васильевич
Faculty of Computer Science; Joint Department with the RAS Institute for System Programming : Visiting Lecturer
Functional Programming (2 year, 2, 3 module)
Evtushenko, Nina V.
Faculty of Computer Science; Joint Department with the RAS Institute for System Programming : Professor
Formal Methods for Communication Protocols and Services Verification and Testing (2 year, 1, 2 module)
Formal Methods in Software Engineering (1 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 (HSE MIEM); 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)
Kuznetsov, Sergey D.
Advanced Database Management Systems (1 year, 3, 4 module)
Мельник Дмитрий Михайлович
Faculty of Computer Science; Joint Department with the RAS Institute for System Programming : Visiting Lecturer
Compiler Technologies (1 year, 3, 4 module)
Petrenko, Alexander K.
Faculty of Computer Science; Joint Department with the RAS Institute for System Programming : Professor
Research Seminar "Software Engineering: Programming Technologies" (2 year, 1, 2 module)
Mentor's Seminar (1 year, 1-4 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)
Шокуров Александр Владимирович
Theoretical Cryptography (2 year, 2, 3 module)