Algorithmics, Mikhail Ipatov, Ginevra - ranQ