Electrical Engineering and Computer Science

CSE News Story

Karem Sakallah Named ACM Fellow

CSE Associate Chair and Prof. Karem A. Sakallah has been elected a Fellow of the Association for Computing Machinery (ACM) "for algorithms for Boolean Satisfiability that advanced the state-of-the-art of hardware verification." [Full Story]

Related Topics:  Lab-Computer Engineering (CE Lab)  Sakallah, Karem