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

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

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