Город: Санкт-Петербург Казань Язык: Русский English

Игорь Жирков

IMT Atlantique

С 2009 года преподавал С и ассемблер в ИТМО на кафедре ВТ. Создал свой курс, призванный дать цельное видение низкоуровневого программирования и необходимых знаний архитектуры компьютера в контексте большой области Computer Science. Постарался изложить это видение в книге Low-level programming: C, Assembly and Program Execution. Учился в ИТМО и АУ. На данный момент занимаюсь верификацией рефакторингов С на Coq.

Интересуюсь логикой, теориями типов, философией науки, теоретическими основами языков программирования.

Прочтения курсов

Курс Семестр
Низкоуровневый взгляд на динамические библиотеки и модели кода осень 2017