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

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

Мин программа верификацияне тикшерәм. Эйфель программалаштыру теле өчен AutoProof һәм башка формаль методлар кулланый торган кораллар өстендә эшлим.