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 - 1 results of 1 for search 'Malik, Sharad', query time: 0.01s Refine Results
  1. 1

    Computer Aided Verification : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 : Proceedings /

    Published 2008
    Other Authors:
    Conference Proceeding Book