Михаил Григорьевич Слабодкин

Михаил Григорьевич Слабодкин

Solveva, Яндекс, Магистратура ИТМО/JetBrains, CSCenter

В 2013 году закончил кафедру Алгебры и теории чисел МатМеха СПбГУ. Тема дипломной работы — Complexity of local contradiction search by decision trees. Руководитель дипломной работы Д. М. Ицыксон.

В 2015 году закончил магистратуру Академического Университета РАН по направлению Теоретическая информатика. Тема дипломной работы — Lower bounds on the size of OBDDs for linear systems over F2. Руководитель дипломной работы Д. М. Ицыксон.

Список публикаций: http://dblp.uni-trier.de/pers/hd/s/Slabodkin:Mikhail