City: Saint-Petersburg Kazan Language: Русский English

Игорь Жирков

IMT Atlantique

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

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

Course offerings

Course Semester
Low-level vision of dynamic libraries and code models autumn 2017