
Арист Кожевников
Сотрудник Санкт-Петербургского отделения Математического института им. В.А. Стеклова РАН. Системный инженер в Intel Mobile Communications GmbH.
Область научных интересов: доказательство сложности, точные алгоритмы, алгоритмы для SAT.
Курсы лекций
1О современных методах автоматической формальной верификации аппаратного обеспечения
2 лекции · Арист Кожевников