Kiemelkedő orosz matematikus, egyetemi tanár. Bolyai Jánossal (1802–1860) egy időben – de tőle függetlenül – a nem-euklideszi geometria egyik megteremtője. 1827–1846 között a Kazanyi Egyetem rektora.