Sharad Malik

ACM Fellows

USA - 2014

citation

For contributions to efficient and capable SAT solvers, and accurate embedded software models.