Barbara Liskov

Barbara Liskov

Barbara Liskov, nata Huberman (7 novembre 1939), è un'informatica statunitense.

Attualmente è Ford Professor di Ingegneria nel dipartimento di Ingegneria elettronica ed Informatica al Massachusetts Institute of Technology.

Barbara Liskov è la prima donna negli Stati Uniti ad aver ricevuto un dottorato in Computer Science.

Biografia

Barbara Jane Huberman nacque il 7 novembre 1939 a Los Angeles, in California, in una famiglia ebraica. Era la primogenita di Jane Dickhoff e Moses Huberman; i genitori ebbero in seguito altri tre figli. Trascorse l'infanzia e l'adolescenza negli Stati Uniti occidentali, in un contesto nel quale l'accesso delle donne alle carriere scientifiche era ancora fortemente limitato.

Nel 1961 conseguì il Bachelor of Arts in Matematica presso l'Università della California - Berkeley, in una coorte composta quasi esclusivamente da studenti di sesso maschile. Dopo la laurea presentò domanda a diversi programmi di dottorato in matematica, tra cui quelli dell'Università della California a Berkeley e dell'Università di Princeton. In quel periodo Princeton non ammetteva donne nei programmi di dottorato in matematica. Pur essendo stata accettata a Berkeley, decise di non iscriversi e si trasferì a Boston, dove iniziò a lavorare presso la MITRE Corporation, esperienza che contribuì a orientare il suo interesse verso l'informatica e la programmazione.

Dopo circa un anno alla MITRE, Liskov lavorò come programmatrice presso l'Università di Harvard, occupandosi in particolare di problemi legati alla traduzione automatica dei linguaggi. In questo contesto maturò la decisione di riprendere gli studi universitari in informatica, disciplina allora ancora in fase di istituzionalizzazione. Presentò nuovamente domanda di ammissione a programmi di dottorato presso Berkeley, Harvard e l'Università di Stanford. Fu accettata a Stanford, dove nel 1968 conseguì il dottorato di ricerca in Informatica, diventando la prima donna negli Stati Uniti d'America a ottenere un PhD in questa disciplina. Durante il dottorato lavorò sotto la supervisione di John McCarthy nel campo dell'intelligenza artificiale; la sua tesi, intitolata A program to play chess endgames, affrontava problemi di rappresentazione e ragionamento computazionale in contesti complessi.

Concluso il dottorato, Barbara Liskov intraprese una carriera accademica di primo piano nel campo dell'informatica teorica e dei sistemi. A partire dagli anni Settanta fu coinvolta in numerosi progetti di ricerca dedicati alla progettazione di linguaggi di programmazione e di sistemi software affidabili. Tra i contributi più significativi figura la progettazione e l'implementazione di CLU, uno dei primi linguaggi di programmazione a introdurre in modo sistematico il concetto di tipo di dato astratto, esercitando un'influenza duratura sulla progettazione dei linguaggi moderni.

Successivamente sviluppò Argus, uno dei primi linguaggi di alto livello concepiti per la realizzazione di programmi distribuiti affidabili, e partecipò alla progettazione di Thor, un sistema di base di dati a oggetti orientato alle prestazioni e alla persistenza dei dati. In collaborazione con Jeannette Wing formulò una definizione formale di sottotipo, nota come Principio di sostituzione di Liskov, che è divenuta un riferimento fondamentale nella teoria della programmazione orientata agli oggetti.

Nel corso della sua carriera Liskov è stata docente presso il Massachusetts Institute of Technology, dove ha contribuito in modo significativo allo sviluppo della ricerca sui sistemi distribuiti e sull'ingegneria del software. È autrice di numerosi articoli scientifici e di volumi di riferimento utilizzati nella didattica universitaria e nella ricerca internazionale. È membro della National Academy of Engineering e dell'American Academy of Arts and Sciences, riconoscimenti che attestano l'impatto del suo lavoro nella comunità scientifica.

Riconoscimenti

Nel corso della sua carriera scientifica Barbara H. Liskov ha ricevuto numerosi riconoscimenti internazionali per i contributi fondamentali allo sviluppo dei linguaggi di programmazione, dell'ingegneria del software e dei sistemi distribuiti.

Nel 2004 le è stata conferita la John von Neumann Medal dall'IEEE per i contributi fondamentali ai linguaggi di programmazione, alla metodologia di programmazione e ai sistemi distribuiti.

Nel 2008 ha ricevuto il Premio Turing, il massimo riconoscimento nel campo dell'informatica, per il contributo allo sviluppo dei linguaggi di programmazione e alla progettazione di sistemi, in particolare nei settori dell'astrazione dei dati, della tolleranza agli errori e degli algoritmi per il calcolo distribuito.

Il 14 maggio 2011 l'Università della Svizzera italiana le ha conferito il dottorato honoris causa in Scienze informatiche, in occasione del 15º Dies academicus, per i contributi pionieristici alla definizione dei linguaggi di programmazione e all'ingegneria del software.

Altri progetti

Altri progetti

• Wikimedia Commons

• Wikimedia Commons contiene immagini o altri file su Barbara Liskov

Collegamenti esterni

• Sito ufficiale, su pmg.csail.mit.edu.
• (EN) William L. Hosch, Barbara Liskov, su Enciclopedia Britannica, Encyclopædia Britannica, Inc.
• (EN) Barbara Liskov, su Mathematics Genealogy Project, North Dakota State University.
• (EN) Opere di Barbara Liskov, su Open Library, Internet Archive.
• Prof. Liskov summarizes her career and offers advice to young women engineers, su engineergirl.org. URL consultato il 1º aprile 2006 (archiviato dall'url originale il 12 marzo 2007).