| layout | ref | seo | description | date | title | redirect_from | crumbtitle | |||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
home |
home |
|
Ilgiz Mustafin's personal website and blog |
2020-11-06 |
Ilgiz Mustafin: PhD Student in Software Engineering |
|
Main |
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.