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.