Sharad Malik

Professor, Dept. of Electrical Engineering

Research Interests:

Design automation for digital systems: design tools for embedded systems, digital circuit theory, synthesis and verification of digital systems.

Mailing Address:

Dept. of Electrical Engineering

Engineering Quad, Room B224

Princeton University

Princeton, NJ 08544-5263

Office: (609) 258-4625, Fax: (609) 258-3745

E-mail: sharad@princeton.edu

• CV (including publications)
• Graduate Students
• Research Projects
  • MESCAL
  • SAT
• Recent Talks
  • A Quest for Efficient SAT Solvers (2004 version): Distinguished Lecture Series at CMU SCS
• A Note to Prospective Graduate Students