Matematikçi, Nizhni Novgorod, Rusya doğumlu. 1816 yılında Kazan Üniversitesi'nde profesör oldu ve yaşamının geri kalanını orada geçirdi. 1820'lerde, Euclid'in paralel postulatının geçerli olmadığı bir non-Euclidean geometri teorisi geliştirdi. Benzer bir teori, Jénos Bolyai tarafından hemen hemen aynı zamanda ve bağımsız olarak keşfedildi.