Programming Automatization Laboratory

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