Sharad Malik
Sharad Malik is an Indian-American computer scientist working in formal methods, electronic design automation, and computer architecture. He is currently the George Van Ness Lothrop Professor of Engineering in the Electrical and Computer Engineering Department at Princeton University.
Early life and education
Malik received his B. Tech in Electrical Engineering from IIT Delhi in 1985, and M. S. and Ph. D. degrees in Computer Science from University of California, Berkeley in 1987 and 1990. His doctoral advisor was Robert K. Brayton.[1]
Contributions
Malik is best known for his contributions to fast solvers for boolean satisfiability (SAT) solving. The Chaff solver built by he and his students ushered in a new era for conflict-driven clause learning-based boolean satisfiability solvers.[2] He also pioneered the Instruction Level Abstraction (ILA) effort for hardware verification.[3]
Awards
- ACM Fellow, 2014[4]
- IEEE Fellow, 2002[5]
- CAV Award, Computer Aided Verification conference, "for fundamental contributions to the development of high-performance Boolean satisfiability solvers", 2009.[6]
- IEEE/ACM International Conference on Computer-Aided Design, Ten Year Retrospective Most Influential Paper Award, 2011
- IEEE/ACM Design Automation Conference 50th Anniversary Most Cited Paper Award, 2013[7]
- Princeton University President’s Award for Distinguished Teaching, 2009[8]
- IEEE CEDA A. Richard Newton Technical Impact Award in Electronic Design Automation, 2017[9]
Service
Malik has served on the editorial boards of journals such as IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on VLSI Systems, ACM Transactions on Design Automation of Electronic Systems, Formal Methods in System Design, and Journal of VLSI Signal Processing. He also served as the department chair of Princeton University's ECE department from 2012 to 2021.[10]
References
- ^ "Sharad Malik | Electrical and Computer Engineering". Princeton University ECE website. Retrieved 22 July 2023.
- ^ Moskewicz, M. W.; Madigan, C. F.; Zhao, Y.; Zhang, L.; Malik, S. (2001). "Chaff: Engineering an Efficient SAT Solver". Design Automation Conference.
- ^ Huang, B.-Y.; Zhang, H.; Subramanyan, P.; Vizel, Y.; Malik, S. (21 December 2018). "Instruction-Level Abstraction (ILA): A Uniform Specification for System-on-Chip (SoC) Verification". ACM Transactions on Design Automation of Electronic Systems. 24 (1): 1. Retrieved 22 July 2023.
- ^ "Sharad Malik". ACM Awards. Association for Computing Machinery. Retrieved 22 July 2023.
- ^ "Sharad Malik --- IEEE Xplore Author Profile". IEEE Xplore. IEEE. Retrieved 22 July 2023.
- ^ "CAV Awards". i-cav.org. Retrieved 22 July 2023.
- ^ "50th DAC > Banquet". DAC 2013 Website. ACM/IEEE Design Automation Conference. Retrieved 22 July 2023.
- ^ "Four faculty members recognized for outstanding teaching". Princeton University. Retrieved 22 July 2023.
- ^ "A. Richard Newton Technical Impact Award in Electronic Design Automation". IEEE Council on Electronic Design Automation. IEEE. Retrieved 22 July 2023.
- ^ "Sharad Malik --- CV" (PDF). Princeton University ECE Department. Retrieved 22 July 2023.