Михал Гарлик
Международный постдок ММИ им. Л. Эйлера
PDMI
Контакты:
Образование:
2015 - Ph.D. по специальности Алгебра, Теория чисел и Математическая логика. Факультет Математики и Физики. Карлов Университет в Праге.
Научный руководитель - Jan Krajíček
Тема диссертации - Конструкции моделей ограниченной арифметики
2011 - Магистр математики. Факультет Математики и Физики. Карлов Университет в Праге.
Научный руководитель - Jan Krajíček
Тема диссертации - Конструкции моделей ограниченной арифметики
2011 - Магистр математики. Факультет Математики и Физики. Карлов Университет в Праге.
Предыдущие места работы:
2017 - 2020: Политехнический Университет Каталонии, постдок
2016: Институт математики Чешской Академии наук, научный сотрудник
2015 - 2016: Университет Варшавы, Факультет Математики, Информатики и Механики, стипендиат ERCIM
2016: Институт математики Чешской Академии наук, научный сотрудник
2015 - 2016: Университет Варшавы, Факультет Математики, Информатики и Механики, стипендиат ERCIM
Научные интересы:
Сложность доказательства, теория сложности вычислений