Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:21100399n
Noun Named Entity
Categories: Membre de l'Académie américaine des arts et des sciences, Personnalité américaine en informatique, Naissance en janvier 1957, Étudiant de l'université Carnegie-Mellon, Personnalité en méthodes formelles
FR
David L. Dill
FR
David Lansing Dill est un informaticien et professeur américain connu pour des contributions à la vérification formelle, au vote électronique, et l'informatique de la biologie des systèmes. Wikipedia
Definitions
Relations
Sources
FR
David Lansing Dill est un informaticien et professeur américain connu pour des contributions à la vérification formelle, au vote électronique, et l'informatique de la biologie des systèmes. Wikipedia
IS A
être humain
AWARD RECEIVED
IEEE Fellow
EFF Pioneer Award
EN
ACM Fellow
DOCTORAL ADVISOR
Edmund M. Clarke
EDUCATED AT
université Carnegie-Mellon
Massachusetts Institute of Technology
EMPLOYER
Université Stanford
FAMILY NAME
Dill
FIELD OF WORK
informatique
GIVEN NAME
David
OCCUPATION
informaticien
universitaire
professeur des universités
SEX OR GENDER
masculin
WORK LOCATION
Stanford
Wikipedia
FR
David L. Dill
Wikidata
FR
David L. Dill

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