Исследовательский центр многопроцессорных систем,
Российская академия наук,
(удалите символ `_': это защита от автоматических спаммеров)
телефон: +7 08535 98033
В 2002 получил ученую степень к.ф.м.н (по информатике) (смотри работы) в Институте программных систем
С 1988 года работаю в Институте программных систем
ОБЛАСТЬ ИССЛЕДОВАНИЙ:
вычислительная алгебра, символьные вычисления, функциональное программирование.
Занятия в настоящее время
I. Исследование по соединению компьютерной алгебры, системы переписывания термов и автоматических доказательств.
Программа "Думатель" выпуска 2005 года и соответствующая книга находятся здесь: dumatel-1.02
II. Проект "Построитель алгебраических областей" (DoCon)
Это чисто функциональная программа вычислительной алгебры, основанная на функторном подходе.
Применяется язык и инструмент Haskell.
Последний итог разработки есть программа DoCon-2.10, доступная с руководством (на английском языке) и исходными текстами: docon-2.10 (1200 Kb).
Одна из целей проекта: испытать производительность реальной программы CA, написанной функционально для `ленивого' способа вычислений. Алгебраические категории представлены классами языка Хаскел, области -- `случаями' (instance) классов вместе с явными выражениями описания области,
ЕЩЕ ПРОЕКТ: Библиотека Основной Алгебры (BAL) для языка Haskell-2: basAlgPropos (200 Kb)
(статья на английском языке и программа). Это есть упрощенная и сокращенная разновидность Построителя.