Ицыксон Дмитрий Михайлович

Ицыксон Дмитрий Михайлович

Должность:

Доцент

Ученая степень

кандидат физико-математических наук

  • Общие данные
Научная и педагогическая деятельность

СПбАУ РАН 
2008-  2010, преподаватель
2010 – наст. вр. Доцент
ПОМИ РАН
2009 – 2011 младший научный сотрудник
2011- 2016 старший научный сотрудник
2016 – 2017 ученый секретарь
2017- наст. вр. ведущий научный сотрудник
 

Стипендии и гранты

1. РНФ 16-11-10123, Новые методы доказательства сложностных оценок, 2016-2018, исполнитель
2. РНФ 18-71-10042, Задачи выполнимости, 2018-2021, исполнитель
3. Грант президента РФ МК-2813.2014.1, Сложность классических, интерактивных и эвристических доказательств, 2014-2015, руководитель
4. РФФИ 14-01-00545-а, Вычислительная сложность комбинаторных задач, 2014-2016, исполнитель
5. Грант президента РФ МК-4108.2012.1, Сложность эвристических вычислений 2012-2013, руководитель
6. РФФИ 12-01-31239 мол_а, Неклассические системы доказательств и алгоритмы,    2012-2013, руководитель
7. Грант РФФИ 11-01-00760-а Комбинаторные проблемы в математической логике и теории сложности, 2011-2013, исполнитель   
8. Грант РФФИ 11-01-12135-офи-м-2011, Методы математической логики и теории чисел в информатике, 2011-2012, исполнитель
9. Грант РФФИ 08-01-00640-а, Сложность булевых схем, доказательств и протоколов,     2008-2010,   исполнитель
10. Стипендия им. Рохлина, Эвристическое вычисления и доказательства, 2011 
 

Образование

Санкт-Петербургский государственный университет, 2001-2006, специальность: «Математическое обеспечение и администрирование информационных систем»
ПОМИ РАН 2006-2009, аспирантура по специальности 01.01.06 – математическая логика, алгебра и теория чисел
 

Область научных интересов

Сложность вычислений, сложность доказательств, математическая логика, комбинаторика