Ilgiz Mustafin
Ilgiz Mustafin is a PhD Student at the Chair of Software Engineering, Constructor Institute of Technology.
He is focused on software correctness, with a strong commitment to applying the latest tools in industry.
Research interests of Ilgiz center on finding practical solutions which are applicable in the daily work of software engineers.
His latest work is connected with AutoProof, a static program verifier for Eiffel which uses Boogie and Z3, and Bugfix, a multi-lingual automatic program repair effort.
Ilgiz also maintains Reif, the research version of EiffelStudio.
Contacts
| ilgiz.mustafin@constructor.org | |
| Personal website | imustafin.tatar |
Publications by Ilgiz Mustafin
- Li Huang, Ilgiz Mustafin, Marco Piccioni, Alessandro Schena, Reto Weber, Bertrand Meyer: "Do AI models help produce verified bug fixes?" 2025
- Viktoryia Kananchuk, Ilgiz Mustafin, Bertrand Meyer: "Bugfix: a standard language, database schema and repository for research on bugs and automatic program repair" 2025
- Li Huang, Bertrand Meyer, Ilgiz Mustafin, Manuel Oriol: "Execution-Free Program Repair" Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering 2024
Posts by Ilgiz Mustafin
- Study of using LLMs for debugging verified programs, Jul 2025
- At the Swiss Verification Day 2025, Feb 2025
- Li Huang completes her PhD, Jan 2025
- At the 16th Alpine Verification Meeting (AVM’24), Dec 2024
- Two program repair benchmarks translated to Eiffel, Jun 2024