Дудаков, Сергей Михайлович

Материал из Энциклопедия ТвГУ
Перейти к навигацииПерейти к поиску
Сергей Михайлович Дудаков
Сергей Михайлович Дудаков
Дата рождения: 1976г.
Место рождения:

Сергей Михайлович Дудаков - доктор физико-математических наук (2008 год), заведующий кафедрой информатики.

Краткая биография

Образование – Тверской государственный университет (1997 год). Начало работы в Тверском государственном университете – 1997 год.

Область научных интересов

Математическая логика; логическое программирование; вычислительная и алгоритмическая сложность; теория баз данных; теория языков первого порядка.

Основные научные достижения

Исследование выразительных возможностей FO при вложении конечных систем в бесконечные.

Подготовил 1 кандидата наук.

Литература

  • Ведущие ученые Тверского государственного университета. – Тверь: Твер. гос. ун-т, 2015