I’m a software engineer in Moscow, Russia. I like writing about software testing techniques and model checking. Outside of software development I’m an long distance runner.