Alberto Sangiovanni Vincentelli
Professor of EECS, University of California, Berkeley
Verified email at eecs.berkeley.edu
Cited by 77745
Mihalis Yannakakis
Percy K. and Vida LW Hudson Professor of Computer Science, Columbia University
Verified email at cs.columbia.edu
Cited by 42097
Diego Calvanese
Prof. of Computer Science, KRDB, Free Univ. of Bozen-Bolzano; Wallenberg Visiting Prof …
Verified email at unibz.it
Cited by 39260
Patrick Cousot
Professor of Computer Science, Courant Institute of Mathematical Sciences, New York …
Verified email at cims.nyu.edu
Cited by 29277
Alex Aiken
Professor of Computer Science, Stanford University
Verified email at cs.stanford.edu
Cited by 28655
Rolf Drechsler
Professor at University of Bremen, Director DFKI Bremen, Germany
Verified email at uni-bremen.de
Cited by 23177
Dawson Engler
Associate Professor of Computer Science, Stanford University
Verified email at stanford.edu
Cited by 22247