Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:21100399n
Noun Named Entity
PT
No term available
EN
David Lansing Dill is a computer scientist and academic noted for contributions to formal verification, electronic voting security, and computational systems biology. Wikipedia
Relations
Sources
IS A
humano
AWARD RECEIVED
Instituto de Engenheiros Eletricistas e Eletrônicos
EFF Pioneer Award
EN
ACM Fellow
DOCTORAL ADVISOR
Edmund Clarke
EDUCATED AT
Universidade Carnegie Mellon
Instituto de Tecnologia de Massachusetts
EMPLOYER
Universidade Stanford
FAMILY NAME
Dill
FIELD OF WORK
informática
GIVEN NAME
David
OCCUPATION
cientista da computação
académico
professeur des universités
SEX OR GENDER
masculino
WORK LOCATION
Stanford

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License