Jeannette M. Wing, née le « Wing, Jeannette Marie » sur authorities.loc.gov/ (Library of Congress Authorities), est une professeure d'informatique à l'Université Carnegie-Mellon (sur une chaire intitulée professeur du président). Elle est directrice du département d'informatique. Elle a reçu son Bachelor et son au Massachusetts Institute of Technology (MIT) en 1979, puis son PhD en 1983, toujours au MIT. Ses domaines d'intérêt sont les systèmes de spécification et de vérification, concurrents et répartis, ainsi que les langages de programmation. Avec Barbara Liskov, elle développa une définition particulière du sous-typage, connue sous le nom de principe de substitution de Liskov.
Notes et références
Liens externes
Catégorie:Personnalité américaine de l'informatique Catégorie:Personnalité en méthodes formelles Catégorie:Docteur du Massachusetts Institute of Technology Catégorie:Professeur à l'université Carnegie-Mellon Catégorie:Théorie des types Catégorie:Naissance en décembre 1956