A Kossuth Lajos Tudományegyetem matematikus szakát végezte (1969–1974). 1974 óta ugyanott egyetemi oktató. 1994 óta a Számítógéptudományi Tanszék egyetemi tanára, 2004 és 2010 között a Debreceni Egyetem Informatikai Karának dékánja.
A matematikai tudomány kandidátusa (1981), doktora (1992). 2010-ben a Magyar Tudományos Akadémia levelező, 2016-ban rendes tagjává választották.
Munkássága
Számelmélettel, a diofantoszi egyenletek elméletével foglalkozik. Elsőként igazolta, hogy csak véges sok olyan Fibonacci-szám van, ami egyúttal teljes hatvány is. Hatékony algoritmust dolgozott ki elliptikus egyenletek egész megoldásainak megkeresésére.
