Generate a tailored SOP for Dr. Sharad Malik. Improve your application with a focused, well-structured draft.
Sharad Malik is interested in designing computing systems that are functionally correct and secure. His work combines system design with mathematical modeling and analysis techniques aimed at proving the functional correctness and security properties of these systems. He focuses on developing the Instruction-Level Abstraction (ILA) model for scalable systems-on-chip design verification. Additionally, his research has involved efficient solvers for Boolean Satisfiability problems (SAT, MAX-SAT), which are fundamental techniques used in system verification applications. Malik is open to advising projects initiated by students, which may involve hardware, software, and theory topics.
GRE scores are not accepted. Ph.D. is the primary degree; students are not required to hold an M.S.E. prior to admission.