Sharad Malik

Sharad Malik is the George Van Ness Lothrop Professor in Engineering at Princeton University's Department of Electrical and Computer Engineering. His research interests include Computing & Networking, Integrated Circuits & Systems, and Security & Privacy. Malik's work focuses on designing computing systems that are functionally correct and secure, combining system design with mathematical modeling and analysis techniques. His recent research has centered on the Instruction-Level Abstraction (ILA) model for scalable systems-on-chip design and verification. He has also contributed to efficient solvers for Boolean Satisfiability problems, which are fundamental in system verification. Malik is open to advising student-initiated projects across hardware, software, and theory.

Sharad Malik is a Professor of Electrical and Computer Engineering at Princeton University, specializing in Computer Engineering with a focus on Electronic Design Automation, Computer-Aided Design, Formal Verification, and Hardware Verification. His research explores methods to enhance the efficiency and reliability of digital systems through advanced design and verification techniques. Malik's work includes the development of SAT solvers, power optimization for embedded systems, and logic verification using binary decision diagrams. His contributions span both theoretical and practical aspects of system-level design, emphasizing the integration of power, performance, and security in modern computing architectures.