معرفی
Sharad Malik is the George Van Ness Lothrop Professor of Engineering at Princeton University's Department of Electrical and Computer Engineering. His research focuses on designing functionally correct and secure computing systems, combining system design with mathematical modeling for verification. He pioneered the Instruction-Level Abstraction (ILA) model for SoC verification and has contributed extensively to Boolean satisfiability (SAT) solvers.
Education: PhD (1990), M.S. (1987) in Computer Science from UC Berkeley; B.Tech. (1985) in Electrical Engineering from IIT Delhi.
Research Interests:
- Formal Verification of Digital Systems
- Hardware Security and Trust
- Boolean Satisfiability Solvers
- System-on-Chip (SoC) Design
- Accelerator-rich Platform Architectures
Notable Achievements:
- IEEE CEDA A. Richard Newton Technical Impact Award (2017)
- 2013 IEEE/ACM DAC Most Cited Paper Award
- Princeton President’s Distinguished Teaching Award (2009)
Advising & Labs: Leads the Malik Group, advising over 50 graduate students and postdocs. Active in postdoc recruitment and mentorship programs.
