Перейти к основному содержанию
  • Лекториум

  • Меню
  • Онлайн-курсы
  • Медиатека
  • Онлайн-школы
  • Courses in English
  • Войти

Вы здесь

  • Главная
  • Медиатека
  • Арист Кожевников

Арист Кожевников

Сотрудник Санкт-Петербургского отделения Математического института им. В.А. Стеклова РАН. Системный инженер в Intel Mobile Communications GmbH.

Область научных интересов: доказательство сложности, точные алгоритмы, алгоритмы для SAT.

Персональная страница

Источник фото и информации

Курсы

О современных методах автоматической формальной верификации аппаратного обеспечения
Computer Science клуб при ПОМИ РАН
Арист Кожевников
Курс (2)Хит
 6098

Лекции

О современных методах автоматической формальной верификации аппаратного обеспечения. Лекция 1
Computer Science клуб при ПОМИ РАН
Арист Кожевников
 2426

О современных методах автоматической формальной верификации аппаратного обеспечения. Лекция 3
Computer Science клуб при ПОМИ РАН
Арист Кожевников
 1813

Разделы

Онлайн-курсы

Медиатека

Онлайн-школы

Конференция Парсек

Чаты и общение

Партнёрам

Издательство

Видеосъёмка

Обучение сотрудников

Платформа Эдуардо

Медиагранты

Публикация

Реклама

Реквизиты

Инфо

О Лекториуме

Вакансии

Поддержать проект

Правовая информация

Контакты

Оферта

Команда

Логотипы

Соцсети

ВКонтакте

YouTube

Одноклассники