Заикин Олег Сергеевич
к.т.н.
Старший научный сотрудник
Лаборатория 6.2. Логических и оптимизационных методов анализа сложных систем
В 2005 г. окончил Институт математики, экономики и информатики Иркутского государственного университета по специальности «математика». В 2005-2008 гг. – аспирант Института динамики систем и теории управления имени В.М. Матросова (ИДСТУ) СО РАН. После окончания аспирантуры работал в должности младшего научного сотрудника в лаборатории дискретного анализа и прикладной логики. В 2009 г. защитил кандидатскую диссертацию на тему «Параллельная технология решения SAT-задач и ее реализация в виде пакета прикладных программ» в Томском государственном университете. В 2009-2017 гг. преподавал в Иркутском государственном университете. В 2010-2016 гг. – научный сотрудник, а в 2016-2018 гг. — старший научный сотрудник лаборатории дискретного анализа и прикладной логики. В 2018-2019 гг. – научный сотрудник и преподаватель Университета информационных технологий, механики и оптики. В 2019-2021 гг. ведущий научный сотрудник лаборатории логических и оптимизационных методов анализа сложных систем. В 2021-2022 гг. – research assistant в Университете Суонси, Великобритания. С 2022 г. и по настоящее время работает ведущим научным сотрудником лаборатории логических и оптимизационных методов анализа сложных систем. В 2023-2024 гг. – научный сотрудник Новосибирского государственного университета.
Специалист по поиску прообразов криптографических хеш-функций при помощи параллельных алгоритмов решения проблемы булевой выполнимости. Соавтор одной из первых практических атак на поточный шифр A5/1. Соавтор SAT-решателя, который победил на международном конкурсе SAT Race 2019. Впервые нашел прообразы следующих криптографических хеш-функций: 43-шаговая MD4, 29-шаговая MD5, 24-шаговая SHA-1.
Автор и соавтор более 100 научных работ, 55 из которых проиндексированы в базе Scopus.
Награжден Почетной грамотой Мэра г. Иркутска.