Ilgiz Mustafin

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

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