Научные исследования осуществляются по следующим направлениям:
- математическая логика,
- теория вычислимости,
- алгоритмические вопросы алгебры,
- теория доказательств,
- логические методы в информатике,
- конструктивная логика,
- модальная логика,
- сложность вычислений,
- колмогоровская сложность,
- компьютерная логика.
Адрес: http://lpcs.math.msu.su/rus/research.htm
Изменения внесены 11.12.2008.
Мати Рейнович ПЕНТУС