Дудаков, Сергей Михайлович
Материал из Энциклопедия ТвГУ
Версия от 14:52, 28 ноября 2015; Vostrov.n (обсуждение | вклад) (Новая страница: «{{Персона_без_смерти |Имя=Сергей Михайлович Дудаков |image=Файл:Дудаков С М.jpg|200px|center|alt=Серг…»)
Сергей Михайлович Дудаков | |
Дата рождения: | 1976г. |
Место рождения: |
Сергей Михайлович Дудаков - доктор физико-математических наук (2008 год), заведующий кафедрой информатики.
Содержание
Краткая биография
Образование – Тверской государственный университет (1997 год). Начало работы в Тверском государственном университете – 1997 год.
Область научных интересов
Математическая логика; логическое программирование; вычислительная и алгоритмическая сложность; теория баз данных; теория языков первого порядка.
Основные научные достижения
Исследование выразительных возможностей FO при вложении конечных систем в бесконечные.
Подготовил 1 кандидата наук.
Литература
- Ведущие ученые Тверского государственного университета. – Тверь: Твер. гос. ун-т, 2015