Alberto Sangiovanni Vincentelli
Professor of EECS, University of California, Berkeley
Vahvistettu sähköpostiosoite verkkotunnuksessa eecs.berkeley.edu
Viittausten määrä 78044
Mihalis Yannakakis
Percy K. and Vida LW Hudson Professor of Computer Science, Columbia University
Vahvistettu sähköpostiosoite verkkotunnuksessa cs.columbia.edu
Viittausten määrä 42424
Diego Calvanese
Prof. of Computer Science, KRDB, Free Univ. of Bozen-Bolzano; Wallenberg Visiting Prof …
Vahvistettu sähköpostiosoite verkkotunnuksessa unibz.it
Viittausten määrä 39458
Patrick Cousot
Professor of Computer Science, Courant Institute of Mathematical Sciences, New York …
Vahvistettu sähköpostiosoite verkkotunnuksessa cims.nyu.edu
Viittausten määrä 29415
Alex Aiken
Professor of Computer Science, Stanford University
Vahvistettu sähköpostiosoite verkkotunnuksessa cs.stanford.edu
Viittausten määrä 28895
Thomas Ball
Microsoft Research
Vahvistettu sähköpostiosoite verkkotunnuksessa microsoft.com
Viittausten määrä 26130
Roger Harbord
Verification scientist, Met Office
Vahvistettu sähköpostiosoite verkkotunnuksessa metoffice.gov.uk
Viittausten määrä 25891
Rolf Drechsler
Professor at University of Bremen, Director DFKI Bremen, Germany
Vahvistettu sähköpostiosoite verkkotunnuksessa uni-bremen.de
Viittausten määrä 23228
Dawson Engler
Associate Professor of Computer Science, Stanford University
Vahvistettu sähköpostiosoite verkkotunnuksessa stanford.edu
Viittausten määrä 22173
David Basin
Professor of Computer Science, ETH Zurich
Vahvistettu sähköpostiosoite verkkotunnuksessa inf.ethz.ch
Viittausten määrä 21200