Sharad Malik Explained

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]

Notes and References

1. Web site: Sharad Malik Electrical and Computer Engineering . Princeton University ECE website . 22 July 2023.
2. Moskewicz . M. W. . Madigan . C. F. . Zhao . Y. . Zhang . L. . Malik . S. . Chaff: Engineering an Efficient SAT Solver . Design Automation Conference . 2001.
3. Huang . B.-Y. . Zhang . H. . Subramanyan . P. . Vizel . Y. . Malik . S. . Instruction-Level Abstraction (ILA): A Uniform Specification for System-on-Chip (SoC) Verification . ACM Transactions on Design Automation of Electronic Systems . 21 December 2018 . 24 . 1 . 1 . 22 July 2023.
4. Web site: Sharad Malik . ACM Awards . Association for Computing Machinery . 22 July 2023.
5. Web site: Sharad Malik --- IEEE Xplore Author Profile . IEEE Xplore . IEEE . 22 July 2023.
6. Web site: CAV Awards . i-cav.org . 22 July 2023.
7. Web site: 50th DAC > Banquet . DAC 2013 Website . ACM/IEEE Design Automation Conference . 22 July 2023.
8. Web site: Four faculty members recognized for outstanding teaching . Princeton University . 22 July 2023.
9. Web site: A. Richard Newton Technical Impact Award in Electronic Design Automation . IEEE Council on Electronic Design Automation . IEEE . 22 July 2023.
10. Web site: Sharad Malik --- CV . Princeton University ECE Department . 22 July 2023.