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

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