Az ELTE matematikus szakán szerzett diplomát 1979-ben. Ezután az MTA Számítástechnikai és Automatizálási Kutatóintézetében dolgozik, ahol jelenleg az Informatika Kutatólaboratórium vezetője. 1989-től tanít a Budapesti Műszaki Egyetemen, itt 2001-től az Algebra Tanszék vezetője. 2001-től az MTA levelező tagja. Kutatásaiban elsősorban az algebra és a számítástudomány határterületein levő kérdésekkel foglalkozik. Vendégkutatóként két tanévet töltött az Egyesült Államok egyetemein (University of Oregon és University of Chicago).

Minden jog fenntartva