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. — Wikipédia (CC BY-SA)
Nature : être humain
- naissance
- janvier 1957
- genre
- masculin
- occupation
- professeur d'université
Catégories : professeurs d'université · enseignants · personnes