Сәлам! Минем исемем Ильгиз.

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

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

Мине башка сайтларда да таба аласыз:

26 февраль 2023

PBDoom — PocketBook электрон кәгазьле җайланмалар өчен Doom уеның порты. Йөкләүләр PBDoom рәсми сайтында табыла.

26 октябрь 2021

EiffelStudio allows to control which assertions will be evaluated. We build a cheatshseet listing which contracts are checked for each setting.

1 сентябрь 2021

Реляцион бирелмәләр нигезне (БН) Heroku Postgres бушлай дәрәҗәдә куллану өчен SIBrowser кушымтасы мисалында оптимальләштерү.

26 февраль 2023

PBDoom — PocketBook электрон кәгазьле җайланмалар өчен Doom уеның порты. Йөкләүләр PBDoom рәсми сайтында табыла.

Мустафин Ильгизнең шәхси сайты