Dmitry Sergeevich KOSAREV
St. Petersburg State University
Russian Federation

Assistant at the Chair of System Programming of Mathematics and Mechanics Faculty of SPBU. His research interests include functional programming, compilers, and relational programming.

Petr Alekseevich LOZOV
St. Petersburg State University
Russian Federation

Cand. Sci. (Phys.-Math.). Research interests: static analysis, translation of programming languages, functional-relational programming.

Dmitry Yuryevich BOULYTCHEV
St. Petersburg State University
Russian Federation

Cand. Sci. (Phys.-Math.), associate Professor of the System Programming Chair of the Faculty of Mathematics and Mechanics of SPBU. His research interests include programming languages and tools, compilers, functional, logical and relational programming, program analysis and synthesis.