Barbara Liskov: differenze tra le versioni

Da Wikipedia, l'enciclopedia libera.
Vai alla navigazione Vai alla ricerca
Contenuto cancellato Contenuto aggiunto
mNessun oggetto della modifica
Recupero di 1 fonte/i e segnalazione di 0 link interrotto/i. #IABot (v2.0beta14)
Riga 31: Riga 31:
== Collegamenti esterni ==
== Collegamenti esterni ==
* {{cita web|http://www.pmg.csail.mit.edu/~liskov/|Prof. Liskov's home page}}
* {{cita web|http://www.pmg.csail.mit.edu/~liskov/|Prof. Liskov's home page}}
* {{cita web|http://www.engineergirl.org/nae/CWE/egdir.nsf/Profiles+By+UNID+-+Full/6ACECD215B453636852569EA0004217C?OpenDocument|Prof. Liskov summarizes her career and offers advice to young women engineers}}
* {{cita web | 1 = http://www.engineergirl.org/nae/CWE/egdir.nsf/Profiles+By+UNID+-+Full/6ACECD215B453636852569EA0004217C?OpenDocument | 2 = Prof. Liskov summarizes her career and offers advice to young women engineers | accesso = 1 aprile 2006 | urlarchivio = https://web.archive.org/web/20070312170426/http://www.engineergirl.org/nae/CWE/egdir.nsf/Profiles+By+UNID+-+Full/6ACECD215B453636852569EA0004217C?OpenDocument | dataarchivio = 12 marzo 2007 | urlmorto = sì }}


{{Premio Turing}}
{{Premio Turing}}

Versione delle 09:28, 20 mag 2019

Barbara Liskov

Barbara Liskov, nata Huberman, Ph.D. (7 novembre 1939), è una scienziata statunitense nel campo dell'Informatica.

Attualmente è Ford Professor di Ingegneria nel dipartimento di Ingegneria elettronica ed Informatica al Massachusetts Institute of Technology. Nel 1961 ha conseguito il Bachelor of Arts (BA) in Matematica alla University of California, Berkeley e, nel 1968, presso la Stanford University, è diventata la prima donna negli Stati Uniti a cui sia stato conferito un dottorato di ricerca (PhD) in Informatica, con una tesi intitolata "A program to play chess endgames". A quel tempo, la maggior parte delle Università non avevano dipartimenti di Informatica e l'Università di Stanford era molto selettiva nel conferire lauree.

Barbara Liskov ha condotto molti progetti significativi, tra cui la progettazione e implementazione di CLU, il primo linguaggio di programmazione a fornire meccanismi per la definizione di tipi di dato astratti, Argus, il primo linguaggio di alto livello a supportare l'implementazione di programmi distribuiti, e Thor, un sistema di database orientato agli oggetti. Insieme a Jeannette Wing, ha sviluppato una particolare definizione di sottotipo, comunemente conosciuto come il Principio di sostituzione di Liskov.

La professoressa Liskov è membro della National Academy of Engineering e della American Academy of Arts and Sciences. Nel 2004 ha vinto la John von Neumann Medal per i "contributi fondamentali ai linguaggi di programmazione, metodologia di programmazione e sistemi distribuiti". È autrice di tre libri e oltre un centinaio documenti tecnici.

Nel 2008 ha vinto il prestigioso Premio Turing per aver contribuito allo sviluppo dei linguaggi di programmazione e progettazione di sistemi, specialmente nel campo di astrazione dati, tolleranza degli errori e algoritmi di computazione distribuita.

Altri progetti

Collegamenti esterni

Controllo di autoritàVIAF (EN44337197 · ISNI (EN0000 0001 1760 5450 · LCCN (ENn81090977 · GND (DE1069447846 · BNF (FRcb12156314m (data) · J9U (ENHE987007425202505171