Ilgiz Mustafin's personal website

Hi! My name is Ilgiz.

I am a PhD student in Software Engineering at Constructor Institute, Schaffhausen, Switzerland.

I do research in Software Verification. I work on AutoProof and other tools using formal methods for the Eiffel programming language.

Find me on other websites:

PBDoom

26 February 2023

PBDoom is a port of the Doom (1993) videogame for PocketBook eInk devices. Downloads are on the official website of PBDoom.
EiffelStudio Assertions Setting

26 October 2021

EiffelStudio allows to control which assertions will be evaluated. We build a cheatshseet listing which contracts are checked for each setting.
Optimizing Heroku Postgres for the Free Tier

12 July 2021

How to optimize a relational database schema to fit Heroku Postgres free tier limitations with a real-world example of SIBrowser.

PBDoom
26 February 2023

PBDoom is a port of the Doom (1993) videogame for PocketBook eInk devices. Downloads are on the official website of PBDoom.