Il principio di sostituzione di Liskov, sviluppato insieme a Barbara Liskov nel 1993, rimane un contributo fondamentale alla metodologia dell'ingegneria del software. Jeannette Wing, nata a Newark nel 1956, ha trascorso decenni a colmare il divario tra l'informatica teorica e l'applicazione industriale. La sua traiettoria professionale spazia tra il mondo accademico, le politiche governative e i laboratori di ricerca aziendali, concentrandosi principalmente sui linguaggi di programmazione e sui metodi formali.
Fondamenti accademici e ricerca
Wing ha completato i suoi studi di laurea e master in ingegneria elettrica e informatica presso il Massachusetts Institute of Technology nel giugno 1979 sotto la guida di Ronald Rivest e John Reiser. Ha conseguito il dottorato in informatica presso la stessa istituzione nel 1983, sotto la supervisione di John Guttag. I suoi primi incarichi accademici hanno incluso l'Università della Southern California dal 1982 al 1985, seguiti da un mandato presso la Carnegie Mellon University dal 1985 al 2012. Durante il suo periodo alla Carnegie Mellon, ha ricoperto il ruolo di capo del dipartimento di informatica in due periodi, 2004–2007 e 2010–2012.
Politica pubblica e leadership aziendale
Oltre alla ricerca universitaria, Wing ha ricoperto ruoli amministrativi influenti. È stata direttrice assistente per l'informatica, l'informazione scientifica e l'ingegneria presso la National Science Foundation tra il 2007 e il 2010. Nel gennaio 2013 è passata al settore privato come vicepresidente aziendale di Microsoft Research, dove ha gestito laboratori globali e collegamenti di ricerca fino al 30 giugno 2017. Successivamente, è diventata direttrice Avanessians del Data Science Institute presso la Columbia University ed è stata nominata vicepresidente esecutivo per la ricerca dell'università il 1° settembre 2021.
Contributi al pensiero computazionale
Wing è riconosciuta per la sua promozione del pensiero computazionale, che implica l'applicazione di tecniche di astrazione algoritmica comuni nell'informatica a diverse discipline. Il suo lavoro sui metodi formali, in particolare per quanto riguarda Larch, ha influenzato in modo significativo la metodologia di programmazione. Fa parte di numerosi comitati editoriali, tra cui il Journal of the ACM e Formal Methods in System Design. I suoi riconoscimenti professionali includono la nomina ad ACM Fellow nel 1998, IEEE Fellow nel 2003 e l'elezione alla National Academy of Engineering nel 2024 per il suo lavoro sull'informatica affidabile e sui metodi formali.
Venti domande, otto minuti di orologio e un percentile misurato su tutti quelli che l’hanno fatto. Senza registrazione.
Fai il test del QI →Informazioni rapide
- Nato/a: 1956, Newark - Istruzione: Massachusetts Institute of Technology - Campi principali: Informatica, intelligenza artificiale, linguaggio di programmazione - Ruolo principale: Vicepresidente esecutivo per la ricerca, Columbia University - Sviluppo notevole: Principio di sostituzione di Liskov (1993) - ACM Fellow: 1998 - IEEE Fellow: 2003 - Interesse personale: Cintura nera di quarto grado in Tang Soo Do
Domande poste dai lettori
### Cos'è il principio di sostituzione di Liskov?
Sviluppato nel 1993 con Barbara Liskov, è un concetto della metodologia di programmazione riguardante il modo in cui gli oggetti di una superclasse dovrebbero essere sostituibili con oggetti delle sue sottoclassi senza alterare la correttezza del programma.
### Cosa intende Jeannette Wing per pensiero computazionale?
Si riferisce al processo di espressione di tecniche di risoluzione dei problemi e astrazioni algoritmiche utilizzate dagli informatici affinché possano essere applicate alla ricerca e ai compiti in altre discipline accademiche e pratiche.
