Специальность ВАК: 01.01.06 (математическая логика, алгебра и теория чисел)
E-mail:
Сайт: https://lms.tversu.ru/eportfolios/3636
Ключевые слова: Логика, модальные логики, суперинтуиционистские логики, неклассические логики, предикатные логики, сложность, разрешимость, семантика Крипке

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

Математическая логика

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

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

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

• 
• 
• 
• 
• 
• ИСТИНА
• 
• 
• 
• 
• 

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

• Высшая школа современной математики МФТИ
• Институт проблем передачи информации им. А. А. Харкевича Российской академии наук, г. Москва
• University of the Witwatersrand, Johannesburg
• Национальный исследовательский университет "Высшая школа экономики", г. Москва
• НИИ "Центрпрограммсистем", г.Тверь
• Тверской государственный университет, математический факультет