Jeannette Wing
Apparence
Jeannette Wing
Naissance | |
---|---|
Nationalité | |
Formation | |
Activités |
A travaillé pour | |
---|---|
Membre de | |
Directeur de thèse |
John Guttag (en) |
Site web | |
Distinctions |
Jeannette M. Wing, née le [1], 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 Master (en) 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
[modifier | modifier le code]- ↑ (en) « Wing, Jeannette Marie » sur authorities.loc.gov/ (Library of Congress Authorities)
Liens externes
[modifier | modifier le code]- Ressources relatives à la recherche :