Széchenyi-díjas magyar villamosmérnök, informatikus, egyetemi tanár, a Magyar Tudományos Akadémia rendes tagja. Kutatási területe a digitális technika és a logikai szintézis. 1998 és 2001 között a Budapesti Műszaki Egyetem (2000-től Budapesti Műszaki és Gazdaságtudományi Egyetem) Informatikai Központja igazgatója, majd 2005-ig az egyetem Villamosmérnöki és Informatikai Karának dékánja.