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

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

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