Исследовательский центр многопроцессорных систем,
Российская академия наук,
(удалите символ `_': это защита от автоматических спаммеров)
В 2002 получил ученую степень к.ф.м.н (по информатике) (смотри работы) в Институте программных систем
С 1988 года работаю в Институте программных систем
ОБЛАСТЬ ИССЛЕДОВАНИЙ:
вычислительные алгебра и логика, символьные вычисления, функциональное программирование.
Проекты, занятия
I. DoCon-A. Библиотека вычислительной алгебры, основанная на подходе конструктивной математики и доказуемом программировании с зависимыми типами. (Применяется язык Agda). Выпуски программы доступны на doconA.
II. Проект "Построитель алгебраических областей" (DoCon)
Это есть библиотека чисто функциональных программ для вычислительной алгебры, основанная на обобщённом программировании (generic programming). Применяется язык и инструмент Haskell.
Интенсивно разрабатывалась в 1995 -- 2000 годах. В настоящее время поддерживается. Руководством (на английском языке) и исходные программы доступны в docon.
Одна из целей проекта: испытать производительность реальной программы CA, написанной функционально для `ленивого' способа вычислений. Алгебраические категории представлены классами языка Haskell, области -- `случаями' (instance) классов вместе с явными выражениями описания области,
III. Исследование по соединению компьютерной алгебры, системы переписывания термов и автоматических доказательств.
Программа "Думатель". dumatel-1.02
Этот проект прерван в 2012 году. Намечается применить этот доказыватель к построению доказательств в библиотеке DoCon-A.