Institute

Laboratory of Systems Programming

Acting head of laboratory — Shelekhov Vladimir

The main research directions of the Laboratory are: programming languages and compilation techniques; semantics of programming languages and data base systems, methods of design and development of efficient and reliable programs for functional programming languages.

Static analysis, testing, debugging, profiling and estimation of program complexity are also in the range of research themes.

The programming system SOKRAT has been created in the Laboratory to support constructing software systems for embedded computers. The SOKRAT system includes a program properties analyzer, a static checker of run-time semantic errors, a prover of testing criteria and a checker of implausibility.

Research personnel

Shelekhov Vladimir — Acting head of laboratory, Senior researcher
Tumurov Erdem — Junior researcher

Technical personnel

Chushkin Mikhail Sergeyevich — Second grade programmer
Kablukov Ivan Vladimirovich — Leading programmer
Karnauchov Nikita — First grade engineer
Yanbulatov Denis — Second grade programmer