I’m a software engineer from Moscow, Russia. I am passionate about software testing techniques and model checking. Outside of software development, I’m a long-distance runner.