Я разработчик с более чем 10-летним опытом работы и сильной академической базой.
В свободное время занимаюсь формальной верификацией: сочетаю статический анализ и современные методы ИИ, чтобы сделать верификацию более доступной в ежедневной работе.
Был аспирантом на кафедре программной инженерии в Constructor Institute of Technology (Шаффхаузен, Швейцария).
Окончил бакалвриат и магистратуру в Университете Иннополис (Иннополис, Татарстан, Россия).
Днём работаю с Ruby; для исследовательских проектов использую Eiffel.
Constructor Institute of Technology (CIT) — это институт в Шаффхаузене, Швейцария, в котором я провёл два года моей аспирантуры в области верификации программного обеспечения на Эйфеле. К сожалению, СIT было решено закрыть в 2025. В этом посте я хочу сохранить ссылки на некоторые проекты, над которыми мы работали.
PBDoom — это порт видеоигры Doom (1993) для устройств PocketBook на электронной бумаге. Загрузки находятся на официальном сайте PBDoom.
EiffelStudio allows to control which assertions will be evaluated. We build a cheatshseet listing which contracts are checked for each setting.
PBDoom — это порт видеоигры Doom (1993) для устройств PocketBook на электронной бумаге. Загрузки находятся на официальном сайте PBDoom.