Malik recognized as an ACM Fellow

Friday, Jan 9, 2015

Prof. Sharad Malik has been recognized as an ACM (Association for Computing Machinery) Fellow for his contributions to efficient and capable SAT solvers and accurate embedded software models.  ACM is the world’s largest educational and scientific computing society.  The ACM Fellows Program celebrates the exceptional contributions of the leading members in the computing field.  More details can be found here.