Sharad Malik is the George Van Ness Lothrop Professor of Engineering at Princeton University and the Chair of the Department of Electrical Engineering. Previously he served as the Director of the Keller Center for Innovation in Engineering Education at Princeton University (2006-2011) and the Director of the multi-university Gigascale Systems Research Center (2009-2012).
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.
Professor Malik 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 research and teaching awards. In 2009 he received the IIT Delhi Distinguished Alumni Award. He is a fellow of the IEEE and ACM.