Отпущенников Илья Владимирович
к.т.н.
Научный сотрудник
Лаборатория 6.2. Логических и оптимизационных методов анализа сложных систем
В 2007 г. с отличием окончил Институт математики, экономики и информатики Иркутского государственного университета по специальности «прикладная математика и информатика». В 2007-2011 гг. – аспирант Института динамики систем и теории управления имени В.М. Матросова (ИДСТУ) СО РАН. В 2011 г. в диссертационном совете ИДСТУ СО РАН защитил кандидатскую диссертацию на тему «Методы и средства преобразования процедурных описаний дискретных функций в булевы уравнения» по специальности 05.13.11 «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей». После окончания аспирантуры работал в должности младшего научного сотрудника в лаборатории дискретного анализа и прикладной логики ИДСТУ СО РАН. В настоящее время работает в должности научного сотрудника лаборатории логических и оптимизационных методов анализа сложных систем ИДСТУ СО РАН.
Основной областью научных интересов И.В. Отпущенникова является развитие методов и средств пропозиционального кодирования алгоритмов, исследование и анализ сложных комбинаторных систем, допускающих эффективное кодирование в булеву логику, анализ криптографических функций. Автор и соавтор работ по методам трансляции процедурных описаний алгоритмов в булевы уравнения, применения технологии SAT к анализу свойств известных криптографических функций, способам решения дискретных комбинаторных задач при помощи SAT-подхода.