Лаборатория логических систем

Руководитель: Морозов Андрей Сергеевич

Основные направления деятельности:

проблемы формальных языков и их семантики; теоретико-модельные и алгоритмические свойства элементарных теорий классических алгебраических систем: колец, полей, групп, булевых алгебр в теории моделей (проблемы классификации типов изоморфизма и элементарных типов и их разрешимость, существование и характеризация специальных теорий); теория неклассических логик (логики с условиями типа Бета, табличности и другими, а также изучение решеток неклассических логик на основе алгебраического подхода); теория алгоритмов (проблемы построения обобщения вычислимости и построение для нее основных свойств универсальности, классификации по сложности и др.).

ФИО	Должность	Телефон	Вн. тел.	Комната	Лаб.
Ершов Юрий Леонидович	Главный научный сотрудник	3297651	412	412	Л1
Морозов Андрей Сергеевич	Главный научный сотрудник	3297679	440	440	Л1
Судоплатов Сергей Владимирович	Главный научный сотрудник	3297586	292	292	Л1
Одинцов Сергей Павлович	Ведущий научный сотрудник	3297689	450	450	Л1
Пузаренко Вадим Григорьевич	Ведущий научный сотрудник	3297620	342	342	Л1
Тимофеева Мария Кирилловна	Ведущий научный сотрудник	3297681	442	442	Л1
Швидефски Марина Владимировна	Ведущий научный сотрудник	3297634	356	356	Л1
Стукачев Алексей Ильич	Старший научный сотрудник	3297684	445	445	Л1
Емельянов Дмитрий Юрьевич	Научный сотрудник	3297634	356	356	Л1
Корнев Руслан Александрович	Младший научный сотрудник	3297620	342	342	Л1
Малышев Сергей Борисович	Инженер-исследователь	3297620	342	342	Л1