I’m a software engineer with 10+ years of industry experience a strong academic background.
In my free time, I work on formal verification, combining static analysis with modern AI techniques to make formal verification more approachable in the day-to-day work.
I was a PhD student at the Chair of Software Engineering, Constructor Institute of Technology (Schaffhausen, Switzerland).
I hold a BSc and MSc from Innopolis University (Innopolis, Tatarstan, Russia).
By day I work in Ruby; for my research side projects I use 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 is a port of the Doom (1993) videogame for PocketBook eInk devices. Downloads are on the official website of PBDoom.
EiffelStudio allows to control which assertions will be evaluated. We build a cheatshseet listing which contracts are checked for each setting.
PBDoom is a port of the Doom (1993) videogame for PocketBook eInk devices. Downloads are on the official website of PBDoom.