Дата рождения: 18.01.1983
E-mail:
Ключевые слова: модель, теория, вычислимость, алгоритм.
Коды УДК: 510.53, 510.67

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

Математическая логика, теория алгоримов, конструктивные модели.

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

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

• 
• 
• 

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

• Новосибирский национальный исследовательский государственный университет
• Институт математики им. С.Л. Соболева Сибирского отделения Российской академии наук, г. Новосибирск