brand

Software Engineering


News

30 December, 2018 Hironori Kasahara congratulated ISP RAS and IEEE Computer Society Russia with the 70th anniversary of IT
09 August, 2018 Color Platform second Global Meetup in Moscow on 21.08.2018
28 May, 2018 "OS DAY Reliability" conference has been held by ISP RAS jointly with leading IT companies

Education courses

Methods of test program generation for microprocessors

Kamkin Alexander, Tatarnikov Andrey. Fall Semi-Annual Course.

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.


Copyright © 1994-2019 Ivannikov Institute for System Programming of the RAS
Address: 109004, Moscow, Alexander Solzhenitsyn st., 25.