Electrical Engineering and Computer Science

ECE News Story

Karem Sakallah and Colleagues Receive CAV 09 Award

Prof. Karem Sakallah, his former graduate student, and their colleagues at Princeton have received the Computer Aided Verification Award for their series of fundamental contributions to development of modern SAT solvers. [Full Story]

Related Topics:  Graduate Students  Lab-Advanced Computer Architecture  Sakallah, Karem