| Bio: | Sharad Malik received the B. Tech. degree in Electrical Engineering from the Indian Institute of Technology, New Delhi, India in 1985 and the M.S. and Ph.D. degrees in Computer Science from the University of California, Berkeley in 1987 and 1990 respectively.
Currently he is the George Van Ness Lothrop Professor of Engineering and the Director for the Center for Innovation in Engineering Education at Princeton University.
His research spans all aspects of computer engineering with a current focus on the validation challenges for future computing systems.
He has received the Princeton University School of Engineering and Applied Sciences Distinguished Teacher Award (2005), the Princeton University Engineering Council Excellence in Teaching Award (1995, 1994, 1993) and the Walter C. Johnson Prize for Teaching Excellence (1993); Best Paper Awards at the IEEE/ACM Design Automation and Test in Europe Conference (2003), ACM/IEEE Design Automation Conference (1996), and the IEEE International Conference on Computer Design (1992); the NSF Young Investigator Award (1994), Princeton University Rheinstein Faculty Award (1994), the IBM Faculty Development Award (1991), an NSF Research Initiation Award (1992), and the President of India's Gold Medal for academic excellence (1985).
He serves/has served on the program committees of the Design Automation Conference (DAC), International Conference on Computer-Aided Design, International Conference on Computer-Aided Verification (CAV) and International Conference on Computer Design and as the General Chair for DAC 2004 and program co-chair of CAV 2008. He serves as Associate Editor for the ACM Transactions on Design Automation of Electronic Systems, IEEE Transactions on VLSI Systems and Editor-in-Chief for NOW Publishers Foundations and Trends in Electronic Design Automation. He is also on the editorial boards of the Journal of VLSI Signal Processing, Design Automation for Embedded Systems, and IEEE Design and Test. He is a fellow of the IEEE.
He has published numerous papers, book chapters and a book (Static Timing Analysis for Embedded Software) describing his research. His research in functional timing analysis and propositional satisfiability has been widely used in industrial electronic design automation tools.
|
