The laboratory belongs to the Research Center for Multiprocessor Systems, a division of the Program Systems Institute.

**Research areas:**

- functional programming languages;
- Turchin's supercompiler theory and practice;
- low-dimension topology;
- combinatorics;
- high-dimentional matrix theory;
- computer algebra.

**People:**

- S. V. Chmutov
- Ph. D, Head laboratory.
M.Sc. in mathematics awarded 1981, Moscow State University

Ph.D. in mathematics awarded 1985, Moscow State University

*e-mail:*chmutov@botik.ru

*tel:*+7 (08535) 98-037 - Low-dimention topology, combinatorics.

- A.P. Nemytykh
- Senior researcher. M.Sc. in mathematics awarded 1984,
Moscow State University

*e-mail:*nemytykh@math.botik.ru

*tel:*+7 (08535) 98-024 - Turchin's supercompiler theory, functional programming languages.

- V.A. Pinchuk
- Senior researcher.
M.Sc. in mathematics awarded 1984, Moscow State University

*e-mail:*vika@math.botik.ru

*tel:*+7 (08535) 98-023 - Turchin's supercompiler theory, functional programming languages.

- A.S. Gasparyan
- Senior researcher.
M.Sc. in physics awarded in 1974, Ereven State University

Ph.D. in mathematics awarded in 1984, Computing Center of the Academy of Sciences

*e-mail:*armen@math.botik.ru

*tel:*+7 (08535) 98-020 - High-dimentional matrix theory, combinatorics.

- Valentina Shvachko
- Senior Researcher.
M.Sc. in mathematics awarded in 1984, Moscow State University

*e-mail:*valya@math.botik.ru

*tel:*+7 (08535) 98-050 - Low-dimensional topology, mathematical computations.

- N.A. Chmutova
- Researcher.
M.Sc. in mathematics awarded 1981, Moscow State University

*e-mail:*nina@math.botik.ru

*tel:*+7 (08535) 98-037 - HTML,TeX, Algorithms of low-dimensional topology.

- A.M.Gasparyan
- Senior Engineer
M.Sc. in physics awarded in 1973, Erevan State University

*tel:*+7 (08535) 98-020 - TeX, combinatorics

Page maintained by nina@math.botik.ru