Мин программ инженериясе фән тармакта аспирант булып Швейцариянең Шаффһаузен шәһәренда урнашкан Constructor Institute of Technology‑да (CIT) укыйм.
Мин программа верификацияне тикшерәм. Эйфель программалаштыру теле өчен AutoProof һәм башка формаль методлар кулланый торган кораллар өстендә эшлим.
Шәхси сайт | imustafin.tatar |
ORCID iD | 0009-0007-0476-5966 |
GitHub | imustafin |
imustafin | |
CIT SE кафедрасы | Ilgiz Mustafin |