David L. Dill
personne
informaticien américain
David Lansing Dill (né le 8 janvier 1957) 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. Il est professeur émérite sur la chaire Donald Knuth à la School of Engineering et professeur émérite d'informatique à l'université Stanford.
Liens externes
Lien Wikipedia : https://fr.wikipedia.org/wiki/David_L._Dill
Lien Wikidata : https://www.wikidata.org/wiki/Q41187382
Propriétés
- date_naissance
- +1957-01-0
- genre_personne
- masculin
- occupation
- professeur d'université
- p106_all
- professeur d'université, universitaire, informaticien ou informaticienne