Sharad Malik

Sharad Malik is broadly interested in designing computing systems that are functionally correct and secure. His work combines system design with mathematical modeling and analysis techniques for proving functional correctness and security properties of these systems. This is achieved through the study of new modeling techniques as well as algorithms for correctness proofs. His recent research has focused on developing the Instruction-Level Abstraction (ILA) model for scalable systems-on-chip design and verification. In the past, his group has worked on efficient solvers for Boolean Satisfiability problems (SAT and MAX-SAT), which are fundamental techniques used in system verification and other applications.

He is also open to advising projects initiated by students—these may involve hardware, software, or theory—and he maintains a very open approach to such collaborations.