Мустафин Ильгиз

Я аспирант в области программной инженерии в Constructor Institute of Technology (CIT), который находится Шаффхаузене, Швейцария.

Я исследую верификацию программ. Работаю над AutoProof и другими инструментами, которые используют формальные методы, для языка программирования Эйфель.