Algorithmics, Mikhail Ipatov, Genf - ranQ