Laboratory of Systems Programming

Head of the 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.

Technical personnel

- First grade programmer
- Leading engineer
- Junior researcher
- Leading engineer

Research personnel

- Junior researcher
- Researcher
- Junior researcher
- Head of laboratory
- Junior researcher