Laboratory of Systems Programming

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.

Laboratory of Systems Programming

- Second grade programmer

Technical personnel

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

Research personnel

- Junior researcher
- Researcher
- Junior researcher
- Senior researcher
- Junior researcher