Alberto Sangiovanni Vincentelli

Alberto Sangiovanni Vincentelli

Professor of EECS, University of California, Berkeley
eecs.berkeley.edu의 이메일 확인됨
77284회 인용
System design embedded systems design automation verification synthesis
Mihalis Yannakakis

Mihalis Yannakakis

Percy K. and Vida LW Hudson Professor of Computer Science, Columbia University
cs.columbia.edu의 이메일 확인됨
41829회 인용
Algorithms Complexity Optimization Verification Databases
Diego Calvanese

Diego Calvanese

Prof. of Computer Science, KRDB, Free Univ. of Bozen-Bolzano; Wallenberg Visiting Prof …
unibz.it의 이메일 확인됨
39000회 인용
Artificial intelligence Data Management Knowledge Representation Description Logics Verification
Patrick Cousot

Patrick Cousot

Professor of Computer Science, Courant Institute of Mathematical Sciences, New York …
cims.nyu.edu의 이메일 확인됨
29098회 인용
Abstract Interpretation Semantics Verification Formal methods
Alex Aiken

Alex Aiken

Professor of Computer Science, Stanford University
cs.stanford.edu의 이메일 확인됨
28356회 인용
programming languages compilers verification parallelism
Thomas Ball

Thomas Ball

Microsoft Research
microsoft.com의 이메일 확인됨
25835회 인용
Program analysis verification testing CS education
Roger Harbord

Roger Harbord

Verification scientist, Met Office
metoffice.gov.uk의 이메일 확인됨
25096회 인용
Statistics Verification Meteorology Meta-analysis Mendelian Randomization
Rolf Drechsler

Rolf Drechsler

Professor at University of Bremen, Director DFKI Bremen, Germany
uni-bremen.de의 이메일 확인됨
22846회 인용
algorithms data structures system design verification test
Dawson Engler

Dawson Engler

Associate Professor of Computer Science, Stanford University
stanford.edu의 이메일 확인됨
22076회 인용
operating systems verification bug finding programming languages
David Basin

David Basin

Professor of Computer Science, ETH Zurich
inf.ethz.ch의 이메일 확인됨
20670회 인용
Security Computer Security Formal Methods Verification
1 - 10