Sharad Malik

Sharad Malik is an Indian-American computer scientist working in formal methods, electronic design automation, and computer architecture. He is currently the George Van Ness Lothrop Professor of Engineering in the Electrical and Computer Engineering Department at Princeton University. Provided by Wikipedia
Showing 1 - 2 results of 2 for search 'Malik, Sharad', query time: 0.03s Refine Results
  1. 1
    Proceedings of the 41st annual Design Automation Conference
    Published 2004
    Other Authors: “…Malik, Sharad…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  2. 2
    Computer Aided Verification 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings /
    Published 2008
    Other Authors: “…Malik, Sharad…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search