City: Test Saint Petersburg Novosibirsk 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

Photos

Игорь Жирков