D-Index & Metrics
Sharad Malik

Sharad Malik

Princeton University
United States

Research.com Recognitions

Awards & Achievements

2014 - ACM Fellow For contributions to efficient and capable SAT solvers, and accurate embedded software models.

2002 - IEEE Fellow For contributions to electronic design automation techniques in logic and embedded software synthesis.

If you think any of the details on this page are incorrect, let us know.

Contact us

Trending Scientists

Pádraig Cunningham

Pádraig Cunningham

University College Dublin

E. B. Dynkin

E. B. Dynkin

Cornell University

Joseph D. DiBattista

Joseph D. DiBattista

Australian Museum

Olivier Fardel

Olivier Fardel

University of Rennes

Hans Bräuner-Osborne

Hans Bräuner-Osborne

University of Copenhagen

Staffan Persson

Staffan Persson

University of Copenhagen

William S. York

William S. York

University of Georgia

Roy P.C. Kessels

Roy P.C. Kessels

Radboud University Nijmegen

Shirley A. Bayer

Shirley A. Bayer

University of Indianapolis

Stanley D. Glick

Stanley D. Glick

Albany Medical Center Hospital

Glen T. Prusky

Glen T. Prusky

Cornell University

Lawrence E. Marks

Lawrence E. Marks

Yale University

Gavan J. Fitzsimons

Gavan J. Fitzsimons

Duke University

André J. Tremblay

André J. Tremblay

Université Laval

Arild Angelsen

Arild Angelsen

Norwegian University of Life Sciences

Laurent Bellaiche

Laurent Bellaiche

University of Arkansas at Fayetteville

Something went wrong. Please try again later.