Malik Named ACM Fellow

Wednesday, February 25, 2015

Princeton University Professor Sharad Malik was named a 2014 ACM Fellow by the Academy for Computer Machinery for his contributions to efficient and capable SAT solvers and accurate embedded software models.