Algorithmics, Mikhail Ipatov