Специальность ВАК: 01.01.06 (математическая логика, алгебра и теория чисел)
Дата рождения: 19.01.1979
E-mail: ,

Основные темы научной работы:

Модальная логика, пространсвенная логика, сложность вычислений.

Публикации за последние годы

Доклады и лекции в базе данных Math-Net.Ru

Персональные страницы:

• 
• 
• 
• 
• 
• 

Организации:

• Институт проблем передачи информации им. А. А. Харкевича Российской академии наук, г. Москва
• Математический институт им. В.А. Стеклова Российской академии наук, г. Москва
• Московский государственный университет имени М. В. Ломоносова