ECE Faculty: CAV Award
An annual award, called the CAV Award, was established in 2008 by the International Conference on Computer-Aided Verification and presented to individuals who made major advances in creating high-performance Boolean SAT (satisfiability) solvers. The CAV conference is the premier international event for reporting research on Computer-Aided Verification.
Karem Sakallah shares the CAV Award with his former graduate student, Joao Marques-Silva (now at University College Dublin), and five other researchers.
Back to "National and External Honors and Awards"
ECE Awards Home