Le principe de substitution de Liskov, développé aux côtés de Barbara Liskov en 1993, demeure une contribution fondamentale à la méthodologie du génie logiciel. Jeannette Wing, née à Newark en 1956, a consacré des décennies à combler le fossé entre l'informatique théorique et l'application industrielle. Son parcours professionnel s'étend du monde académique aux politiques gouvernementales et aux laboratoires de recherche d'entreprise, en se concentrant principalement sur les langages de programmation et les méthodes formelles.
Fondements académiques et recherche
Wing a obtenu ses diplômes de premier cycle et de master en génie électrique et en informatique au Massachusetts Institute of Technology en juin 1979 sous la direction de Ronald Rivest et John Reiser. Elle a obtenu son doctorat en informatique dans la même institution en 1983, sous la supervision de John Guttag. Ses premiers postes de professeur ont inclus l'Université de Californie du Sud de 1982 à 1985, suivis d'un mandat à l'Université Carnegie Mellon de 1985 à 2012. Durant son séjour à Carnegie Mellon, elle a occupé les fonctions de directrice du département d'informatique au cours de deux périodes, 2004–2007 et 2010–2012.
Politique publique et leadership d'entreprise
Au-delà de la recherche universitaire, Wing a occupé des rôles administratifs influents. Elle a été directrice adjointe pour l'informatique, l'information scientifique et l'ingénierie à la National Science Foundation entre 2007 et 2010. En janvier 2013, elle est passée au secteur privé en tant que vice-présidente d'entreprise de Microsoft Research, où elle a dirigé des laboratoires mondiaux et des relations de recherche jusqu'au 30 juin 2017. Par la suite, elle est devenue directrice Avanessians de l'Institut de science des données de l'Université Columbia et a été nommée vice-présidente exécutive de la recherche de l'université le 1er septembre 2021.
Contributions à la pensée computationnelle
Wing est reconnue pour son plaidoyer en faveur de la pensée informatique, qui consiste à appliquer les techniques d'abstraction algorithmique courantes en informatique à diverses disciplines. Ses travaux sur les méthodes formelles, en particulier concernant Larch, ont influencé de manière significative la méthodologie de programmation. Elle siège dans de nombreux comités de rédaction, notamment le Journal of the ACM et Formal Methods in System Design. Ses distinctions professionnelles incluent son admission comme ACM Fellow en 1998, IEEE Fellow en 2003, et son élection à la National Academy of Engineering en 2024 pour ses travaux sur l'informatique de confiance et les méthodes formelles.
Vingt questions, huit minutes au chronomètre et un centile mesuré face à tous ceux qui l’ont passé. Sans inscription.
Passer le test de QI →En bref
- Naissance : 1956, Newark - Éducation : Massachusetts Institute of Technology - Domaines principaux : Informatique, intelligence artificielle, langage de programmation - Rôle majeur : Vice-présidente exécutive de la recherche, Université Columbia - Développement notable : Principe de substitution de Liskov (1993) - Membre de l'ACM : 1998 - Membre de l'IEEE : 2003 - Intérêt personnel : Ceinture noire 4e dan en Tang Soo Do
Questions posées par les lecteurs
### Qu'est-ce que le principe de substitution de Liskov ?
Développé en 1993 avec Barbara Liskov, c'est un concept de la méthodologie de programmation concernant la manière dont les objets d'une superclasse doivent pouvoir être remplacés par des objets de ses sous-classes sans altérer l'exactitude du programme.
### Que veut dire Jeannette Wing par pensée computationnelle ?
Cela fait référence au processus d'expression des techniques de résolution de problèmes et des abstractions algorithmiques utilisées par les informaticiens afin qu'elles puissent être appliquées à la recherche et aux tâches d'autres disciplines académiques et pratiques.
