Образование

• Доктор физико-математических наук
  01.2001, МГУ
  Thesis: Completeness of the Lambek calculus
  Оппоненты:  А.В. Михалев,  В.П. Оревков, А.Л. Семенов

Научные интересы

Компьютерная логика, математическая лингвистика, неклассическая логика, теория доказательств

Дополнительная информация

mpentus@yandex.ru