Education courses

News

02 August, 2019 OS DAY-2019. Cooperation among operating platform developers and the security of Russian software

10 April, 2019 Ivannikov Memorial Workshop has been supported by IEEE

14 March, 2019 The annual Ivannikov Memorial Workshop will take place on 13-14 September 2019

Education courses

Construction of the Operating System Kernel

Khoroshilov Alexey. Fall Semi-Annual Course.

Special Seminar “The Correctness of the Programs”

Dr. Alexander K. Petrenko, Ph.D. Alexey Khoroshilov, Ph.D. Victor Kulyamin . Fall Semi-Annual Course.

Open Systems and Organization of the Session Security

PhD. Nikolay Pakulin . Fall Semi-Annual Course.

Model-Based Testing

Kuliamin Victor. Spring Semi-Annual Course.

Software Development Technologies. Component-based Approach.

Kuliamin Victor. Fall Semi-Annual Course.

Formal Specification and Verification of Programs

Kornykhin Evgeni , Petrenko Alexander , Khoroshilov Alexey. Fall Semi-Annual Course.