Мин программист, 10+ еллык эш тәҗрибәсе һәм көчле академик нигезем бар.
Буш вакытымда формаль верификация белән шөгыльләнәм: статик анализны һәм заманча ясалма интеллек методларын берләштереп, верификацияне көндәлек эштә куллану мөмкинлеген арттырам.
Аспирант булып Constructor Institute of Technology (Шаффһаузен, Швейцария) Программалы инженерия кафедрасында эшләдем.
Бакалавр һәм магистр дәрәҗәләрен Иннополис университетында (Иннополис, Татарстан, Россия) тәмамладым.
Көндәлек эштә Ruby белән эшлим, тикшерү проектларымда Eiffel телен кулланам.
Constructor Institute of Technology (CIT) is an institute in Schaffhausen, Switzerland where I did two years of my PhD on software verification with Eiffel. Unfortunately, it was decided to close CIT in 2025. In this post I want to preserve links to some of the projects that we worked on.
PBDoom — PocketBook электрон кәгазьле җайланмалар өчен Doom уеның порты. Йөкләүләр PBDoom рәсми сайтында табыла.
EiffelStudio allows to control which assertions will be evaluated. We build a cheatshseet listing which contracts are checked for each setting.
PBDoom — PocketBook электрон кәгазьле җайланмалар өчен Doom уеның порты. Йөкләүләр PBDoom рәсми сайтында табыла.