Я аспирант на кафедре программной инженерии в Шаффхаузенском Constructor Institute of Technology, Швейцария.
Я исследую верификацию программ. Работаю над AutoProof и другими инструментами, которые используют формальные методы, для языка программирования Эйфель.
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.