Александр Семёнов,

Александр Семёнов,


Биография

Научные интересы: вычислительная сложность, проблема булевой выполнимости, криптография.
Автор и соавтор более 100 статей, среди которых есть статьи высокорейтинговых журналах и
трудах конференций с рейтингом A, A* (AAAI, ECAI, CP, SAT).
Руководство защищенными кандидатскими диссертациями:
Олег Заикин «Технология параллельного решения SAT задач и ее реализация в виде пакета
прикладных программ» (защищена в Томском гос. университете в 2009 г.)
Алексей Игнатьев «Методы обращения дискретных функций с применением двоичных диаграмм
решений» (защищена в Иркутском гос. университете в 2010 г.)
Илья Отпущенников «Методы и средства трансляции алгоритмических описаний дискретных
функций в булевы уравнения» (защищена в Институте динамики систем и теории управления
Сибирского отделения РАН (ИДСТУ СО РАН) в 2011 г.)