Μπάρμπαρα Λίσκοφ

Από τη Βικιπαίδεια, την ελεύθερη εγκυκλοπαίδεια
Πήδηση στην πλοήγηση Πήδηση στην αναζήτηση
Μπάρμπαρα Λίσκοφ
Barbara Liskov.PNG
Γενικές πληροφορίες
Γέννηση7  Νοεμβρίου 1939
Λος Άντζελες
Χώρα πολιτογράφησηςΗνωμένες Πολιτείες Αμερικής
Εκπαίδευση και γλώσσες
ΣπουδέςΠανεπιστήμιο Στάνφορντ (έως 1968)[1]
Πανεπιστήμιο Μπέρκλεϋ
Πληροφορίες ασχολίας
Ιδιότηταεπιστήμονας υπολογιστών
καθηγήτρια πανεπιστημίου
μηχανικός[2]
ΕργοδότηςΤεχνολογικό Ινστιτούτο Μασαχουσέτης
Αξιοσημείωτο έργοΠαράλληλα και κατανεμημένα συστήματα
Αξιώματα και βραβεύσεις
ΒραβεύσειςΒραβείο Τούρινγκ (2008)
Μετάλλιο Τζον φον Νόιμαν (2004)
βραβείο Χάρολντ Πέντερ (2013)
Αίθουσα Φήμης των Εθνικών Εφευρετών
Programming Languages Achievement Award (2008)
Weizmann Women & Science Award (2015)
Βραβείο Πρωτοπόρου Υπολογιστών (2018)[3]
honorary doctor of the University Polytechnic of Catalonia (28  Σεπτεμβρίου 2012)[4]
List of Fellows of the Association for Computing Machinery (1996)
Achievement Award (1996)
ACM Fellow
honorary doctor of ETH Zürich
Ιστότοπος
http://www.pmg.csail.mit.edu/~liskov/
Commons page Σχετικά πολυμέσα

Η Μπάρμπαρα Λίσκοφ (Barbara Liskov) (γεννήθηκε στις 7 Νοεμβρίου του 1939 ως Μπάρμπαρα Τζέιν Χάμπερμαν) είναι Αμερικανίδα επιστήμονας πληροφορικής[5] και εργάζεται ως Καθηγήτρια στο Ινστιτούτο Τεχνολογίας της Μασαχουσέτης και ως Καθηγήτρια Μηχανικής της πολυτεχνικής Σχολής Ηλεκτρολόγων Μηχανικών και Επιστήμης Υπολογιστών.[6] Είναι νικήτρια του βραβείου Τούρινγκ και ανέπτυξε την Αρχή της Υποκατάστασης της Λίσκοφ.

Ζωή και καριέρα[Επεξεργασία | επεξεργασία κώδικα]

Η Λίσκοφ γεννήθηκε το 1939 στην Καλιφόρνια, και αποτελεί το μεγαλύτερο από τα τέσσερα παιδιά της Τζέιν (του γένος Ντίκχοφ) και Μόζις Χάμπερμαν.[7] Απέκτησε το BA της στα μαθηματικά στο Πανεπιστήμιο της Καλιφόρνια στο Μπέρκλεϋ, το 1961. Το 1968 έγινε μία από τις πρώτες γυναίκες στις Ηνωμένες Πολιτείες που τους απονεμήθηκε το Διδακτορικό δίπλωμα από το τμήμα της επιστήμης υπολογιστών, όταν της απονεμήθηκε το πτυχίο της από το Πανεπιστήμιο του Στάνφορντ.[8][9] Το θέμα της Διδακτορικής διατριβής της ήταν ένα πρόγραμμα υπολογιστών όπου μπορεί κανείς να παίξει σε τελικούς αγώνες στο σκάκι.[10]

Η Λίσκοφ έχει καθοδηγήσει πολλά σημαντικά έργα, συμπεριλαμβανομένου το λειτουργικό σύστημα Venus, ένα μικρό, χαμηλού κόστους και διαδραστικό σύστημα καταμερισμού χρόνου. Επίσης είχε αναλάβει το σχεδιασμό και την υλοποίηση του CLU, του Argus, της πρώτης γλώσσας υψηλού επιπέδου για την υποστήριξη της υλοποίησης κατανεμημένων προγραμμάτων και για την απόδειξη της τεχνικής της διοχέτευσης μέσω υποσχέσεων. Τέλος, καθοδήγησε το εγχείρημα του Thor, μιας αντικειμενοστραφούς βάσης δεδομένων. Με την Ζανέτ Ουίνγκ, ανέπτυξε ένα συγκεκριμένο ορισμό για τον προσδιορισμό της κληρονομικότητας τύπων (subtyping), κοινώς γνωστός ως "Αρχή Yποκατάστασης Λίσκοφ". Διευθύνει τη Μεθοδολογία Προγραμματισμού της Ομάδας του MIT, εστιαζόμενη στο πρόβλημα των "Βυζαντινών Στρατηγών" και στα κατανεμημένα υπολογιστικά συστήματα.

Αναγνώριση και βραβεία[Επεξεργασία | επεξεργασία κώδικα]

Η Λίσκοφ είναι μέλος της Εθνικής Ακαδημίας Μηχανικής, της Εθνικής Ακαδημίας Επιστημών, μέλος της Αμερικανικής Ακαδημίας Τεχνών και Επιστημών και του Συλλόγου Μηχανημάτων Υπολογισμού. Το 2002, αναγνωρίστηκε ως μία από τις κορυφαίες γυναίκες μέλη ΔΕΠ στο MIT, και μεταξύ των κορυφαίων 50 μελών ΔΕΠ στις επιστήμες στις ΗΠΑ.[11]

Το 2004, η Μπάρμπαρα Λίσκοφ κέρδισε το μετάλλιο Τζον φον Νόιμαν για τις "θεμελιώδεις συνεισφορές σε γλώσσες προγραμματισμού, μεθοδολογία προγραμματισμού και κατανεμημένα συστήματα".[12] Στις 19 Νοεμβρίου του 2005, η Μπάρμπαρα Λίσκοφ και ο Ντόναλντ Ε. Κνουθ βραβεύθηκαν στο ETH ως Επίτιμοι Διδάκτορες.[13] Η Λίσκοφ και ο Κνουθ επίσης πήραν μέρος στο ETH Zurich Distinguished Colloquium Series.[14]

Η Λίσκοφ έλαβε το 2008 το βραβείο Τούρινγκ από την ACM, τον Μάρτιο του 2009,[15] για το έργο της στο σχεδιασμό των γλωσσών προγραμματισμού και λογισμικού μεθοδολογίας που οδήγησε στην ανάπτυξη του αντικειμενοστρεφούς προγραμματισμού.[16] Συγκεκριμένα, η Λίσκοφ ανέπτυξε δύο γλώσσες προγραμματισμού, την CLU[17] στη δεκαετία του 1970 και την Argus[18] κατά τη δεκαετία του 1980.[16] Η ACM χρησιμοποίησε τις συνεισφορές της ως αναφορές για τα πρακτικά και θεωρητικά θεμέλια της "γλώσσα προγραμματισμού και σχεδιασμού του συστήματος, ιδίως σε σχέση με δεδομένα άντλησης, ανοχή σε σφάλματα, και κατανεμημένα υπολογιστικά συστήματα."[19]

Η Μπάρμπαρα Λίσκοφ είναι συγγραφέας τριών βιβλίων και πάνω από εκατό τεχνικών εργασιών.

Προσωπική ζωή[Επεξεργασία | επεξεργασία κώδικα]

Το 1970 παντρεύτηκε τον Νέιθαν Λίσκοφ και ο γιος τους Μόζες γεννήθηκε το 1975.

Δείτε επίσης[Επεξεργασία | επεξεργασία κώδικα]

Παραπομπές[Επεξεργασία | επεξεργασία κώδικα]

  1. www.pmg.csail.mit.edu/~liskov/. Ανακτήθηκε στις 5  Δεκεμβρίου 2017.
  2. Ανακτήθηκε στις 14  Ιουνίου 2019.
  3. www.computer.org/profiles/barbara-liskov. Ανακτήθηκε στις 17  Ιουλίου 2019.
  4. www.upc.edu/ca/la-upc/honoris-causa.
  5. Barbara Liskov - A.M. Turing Award Winner
  6. Barbara Liskov, Programming Methodology Group, MIT.
  7. «Jane Siegel: Obituary». San Francisco Chronicle (via Legacy.com). January 24, 2010. http://www.legacy.com/obituaries/sfgate/obituary.aspx?n=jane-siegel&pid=138827388. Ανακτήθηκε στις 2014-11-18. 
  8. «Barbara Liskov -- Engineergirl». Ανακτήθηκε στις 6 Σεπτεμβρίου 2007. 
  9. «UW-Madison Computer Science Ph.D.s Awarded, May 1965 - August 1970». Ανακτήθηκε στις 8 Νοεμβρίου 2010. 
  10. Huberman (Liskov), Barbara Jane (1968). A program to play chess end games. Stanford University Department of Computer Science, Technical Report CS 106, Stanford Artificial Intelligence Project Memo AI-65. http://oai.dtic.mil/oai/oai?verb=getRecord&metadataPrefix=html&identifier=AD0673971 
  11. «MIT's magnificent seven: Women faculty members cited as top scientists». MIT News Office (Cambridge, MA). 5 Nov 2002. http://web.mit.edu/newsoffice/2002/women.html. Ανακτήθηκε στις 29 October 2012. 
  12. IEEE John von Neumann Medal Recipients from the website of IEEE
  13. «Honorary Doctors». Zurich: ETH Computer Science. 22 Μαρτίου 2006. Ανακτήθηκε στις 29 Οκτωβρίου 2012. Barbara Liskov and Donald E. Knuth were awarded the title ETH Honorary Doctor on 19 November 2005. 
  14. «Distinguished Lecturers Barbara Liskov and Donald E. Knuth». Zurich: ETH Computer Science. Ιαν. 2006. Ανακτήθηκε στις 29 Οκτωβρίου 2012. 
  15. Top prize in computing goes to MIT professor from the website of The Boston Globe
  16. 16,0 16,1 Barbara Liskov Wins Turing Award | March 10, 2009 from the Dr. Dobb's Journal website
  17. Liskov, B.; Snyder, A.; Atkinson, R.; Schaffert, C. (August 1977). «Abstraction mechanisms in CLU». Comm. ACM 20 (8): 564–576. doi:10.1145/359763.359789. CiteSeerX: 10.1.1.112.656. 
  18. Liskov, B. (March 1988). «Distributed programming in Argus». Comm. ACM 31 (3): 300–312. doi:10.1145/42392.42399. 
  19. «ACM Names Barbara Liskov Recipient of the 2008 ACM A.M. Turing Award». Association for Computing Machinery. Ανακτήθηκε στις 10 Μαρτίου 2009.