Sharad Malik is the George Van Ness Lothrop Professor of Engineering at Princeton University and the Chair of the Department of Electrical Engineering. He received the B. Tech. degree in Electrical Engineering from the Indian Institute of Technology, New Delhi in 1985 and the M.S. and Ph.D. degrees in Computer Science from the University of California, Berkeley in 1987 and 1990 respectively.
His research focuses on design methodology and design automation for computing systems. His research in functional timing analysis and propositional satisfiability has been widely used in industrial electronic design automation tools.
He has received the DAC Award for the most cited paper in the 50-year history of the conference (2013), the CAV Award for fundamental contributions to the development of high-performance Boolean satisfiability solvers (2009), the ICCAD Ten Year Retrospective Most Influential Paper Award (2011), the Princeton University President’s Award for Distinguished Teaching (2009), as well as several other best paper and teaching awards. He is a fellow of the IEEE and ACM.