Пентус Мати Рейнович

(род. 16.07.1967, г. Таллин). Окончил механико-математический факультет МГУ (1992).

Кандидат физико-математических наук (1996). Доктор физико-математических наук (2000). Доцент (2000).

Профессор кафедры математической логики и теории алгоритмов механико-математического факультета (2004–н.вр.).

Область научных интересов: компьютерная логика, неклассическая логика, теория доказательств, математическая лингвистика.

Тема кандидатской диссертации «Исчисление Ламбека и формальные грамматики». Тема докторской диссертации «Полнота исчисления Ламбека».

Читает курсы «Введение в математическую логику», «Математическая теория грамматик», «Математический анализ», «Алгебра», «Теория формальных языков», «Исчисление Ламбека»,  «Сложность исчисления Ламбека».

Основные труды: учебные пособия «Порождающие грамматики» (1999), «Язык математики» (1999), «Конечные автоматы и регулярные выражения. Сборник задач» (соавт., 2015), «Контекстно-свободные языки. Сборник задач» (соавт., 2016), «Задачи по комбинаторике для лингвистов» (соавт., 2019).