Дата рождения: 15.07.1990
E-mail:
Ключевые слова: математическая логика, теория доказательств, модальная логика, проблемы разрешимости.

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

Теория доказательств, модальная логика, проблемы разрешимости.

Публикации

Доклады и лекции

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

• 
• 
• 
• 
• 
• 

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

• Ghent University
• Математический центр мирового уровня «Математический институт им. В.А. Стеклова Российской академии наук» (МЦМУ МИАН)
• Математический институт им. В.А. Стеклова Российской академии наук, г. Москва
• Московский государственный университет имени М. В. Ломоносова