Уровень владения английским языком: C1

Научные интересы:

В алгебре исследования научного руководителя сосредоточены на одной из основных открытых проблем на границе между теорией полугрупп и универсальной алгеброй: проблема конечного базиса для полугрупп, предложенная А. Тарским. Эта фундаментальная проблема выявляет удивительные связи с современной компьютерной наукой, в частности, с теорией сложности.

В компьютерной науке исследования научного руководителя связаны с многолетней гипотезой в теории конечных автоматов: гипотеза Черни (Černý). В ней рассматриваются так называемые синхронизирующие автоматы, представляющие как теоретический интерес, так и практическую ценность.

Особы требования к потенциальным аспирантам:

• Для алгебраических направлений: базовые знания полугрупповой теории, универсальной алгебры и вычислительной сложности
• Для направлений по теории автоматов: знание некоторых основ теории автоматов, формальных языков и вычислительной сложности.
• Приветствуются навыки програмирования.