Семёнов Александр Анатольевич
к.т.н. Доцент
Ведущий научный сотрудник
Лаборатория 6.2. Логических и оптимизационных методов анализа сложных систем
В 1985 г. поступил на математический факультет Иркутского государственного университета (ИГУ) по специальности «математика». В 1986-1988 гг. проходил службу в Советской Армии. С 1989 по 1994 гг. являлся лаборантом и стажером-исследователем Иркутского вычислительного центра СО РАН. Окончил математический факультет ИГУ в 1992 г. В 1995-1998 гг. – аспирант Иркутской государственной экономической академии (ИГЭА). В 1998 г. защитил диссертацию кандидата технических наук на тему «Оценки стойкости систем защиты дискретных данных». С 1995 по 2017 г. параллельно с научной занимался преподавательской деятельностью в ИГЭА и ИГУ, вел курсы «Криптографические методы защиты информации», «Криптографические протоколы», «Теория рекурсивных функций», «Теория вычислительной сложности»; c 2010 г. имеет ученое звание доцента. С 2001 г. по настоящее время – научный сотрудник, старший научный сотрудник, ведущий научный сотрудник Института динамики систем и теории управления им. В.М. Матросова Сибирского отделения РАН (ИДСТУ СО РАН). С 2007 по 2021 гг. являлся заведующим лабораторией дискретного анализа и прикладной логики и лабораторией логических и оптимизационных методов анализа сложных систем ИДСТУ СО РАН. Руководил семью успешно завершенными аспирантскими работами, по трем из которых были защищены кандидатские диссертации. На текущий момент руководит двумя аспирантами.
Научные интересы А.А. Семёнова включают теорию вычислительной сложности, методы криптоанализа, метаэвристические и комбинаторные алгоритмы, в основном, в применениии к решению проблемы булевой выполнимости (SAT).
Автор и соавтор более 150 научных работ.