Research Center for Multiprocessor Systems , Program Systems Institute , Russian Academy of science,
e-mail: mechvel@botik_.ru (remove `_': this is a defence against automatic spammers)
phone: +7 08535 98033
Some personal information:
Born in 1954. M.Sc. in Mathematics awarded 1977,
Moscow State University,
the Department of Mathematics.
Ph.D (in informatics) awarded in 2002 (see works) by the Program Systems Institute
Since 1988 I am in the Program Systems Institute.
Area of application: computer algebra, functional programming. Here are my Papers, works
Current research:
I.Study in combining Computer algebra, Term rewriting and Automatic reasoning.
The Dumatel program tool of 2005 is available with the source program and book: dumatel-1.02
II. The Project of Algebraic Domain Constructor (DoCon) -- a pure functional computer algebra program based on functorial approach.
The Haskell language and tool is used. DoCon-2.10 tool of September 2007 is available with the source program and manual: docon-2.10 (1200 Kb).
One of the project aims is to test the efficiency of a real-world CA system based on pure functionality and "lazy" computation. Algebraic category hierarchy is expressed mostly by the Haskell type classes, domains - by class instances. But the domains are also described by explicit expressions.
Other related project: Basic algebra library proposal for Haskell basAlgPropos (200Kb, paper and library implementation).