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

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

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

Η ζωή και η καριέρα της[Επεξεργασία | επεξεργασία κώδικα]

Η Liskov γεννήθηκε το 1939 στην Καλιφόρνια, και αποτελεί το μεγαλύτερο από τα τέσσερα παιδιά της Jane (του γένος Dickhoff) και του Μωυσή.[5] Απέκτησε το BA της στα μαθηματικά στο Πανεπιστήμιο της Καλιφόρνια, Berkeley , το 1961. Το 1968 έγινε μία από τις πρώτες γυναίκες στις Ηνωμένες Πολιτείες που τους απονεμήθηκε το Διδακτορικό δίπλωμα από το τμήμα της επιστήμης υπολογιστών, όταν της απονεμήθηκε το πτυχίο της από το Πανεπιστήμιο του Στάνφορντ.[6][7] Το θέμα της Διδακτορικής διατριβής της ήταν ένα πρόγραμμα υπολογιστών όπου μπορεί κανείς να παίξει σε τελικούς αγώνες στο σκάκι.[8]

Η Liskov έχει καθοδηγήσει πολλά σημαντικά projects, συμπεριλαμβανομένου το λειτουργικό σύστημα Venus, ένα μικρό, χαμηλού κόστους και διαδραστικό σύστημα καταμερισμού χρόνου. Επίσης είχε αναλάβει το σχεδιασμό και την υλοποίηση του CLU, του Argus, της πρώτης γλώσσας υψηλού επιπέδου για την υποστήριξη της υλοποίησης κατανεμημένων προγραμμάτων και για την απόδειξη της τεχνικής της διοχέτευσης μέσω υποσχέσεων. Τέλος, καθοδήγησε το project του Thor, μια αντικειμενοστρεφή βάση δεδομένων. Με την Jeannette Wing, ανέπτυξε ένα συγκεκριμένο ορισμό για τον προσδιορισμό του subtyping, κοινώς γνωστό ως Αρχή της Υποκατάστασης της Liskov. Διευθύνει τη Μεθοδολογία Προγραμματισμού της Ομάδας του MIT, με μια τρέχουσα εστίαση στη Βυζαντινή ανοχή ελαττωμάτων και στα κατανεμημένα υπολογιστικά συστήματα.

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

H Liskov είναι μέλος της Εθνικής Ακαδημίας Μηχανικής, της Εθνικής Ακαδημίας Επιστημών, μέλος της Αμερικανικής Ακαδημίας Τεχνών και Επιστημών και της Association for Computing Machinery (ACM). Το 2002, αναγνωρίστηκε ως μία από τις κορυφαίες γυναίκες μέλη ΔΕΠ στο MIT, και μεταξύ των κορυφαίων 50 μελών ΔΕΠ στις επιστήμες στις ΗΠΑ.[9]

Το 2004, η Barbara Liskov κέρδισε το μετάλλιο του John von Neumann για τις "θεμελιώδεις συνεισφορές σε γλώσσες προγραμματισμού, μεθοδολογία προγραμματισμού και κατανεμημένα συστήματα".[10] Στις 19 Νοεμβρίου του 2005, η Barbara Liskov και ο Donald E. Knuth βραβεύθηκαν ως στο ETH ως Επίτιμοι Διδάκτορες.[11] Η Liskov και ο Knuth επίσης πήραν μέρος στο ETH Zurich Distinguished Colloquium Series.[12]

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

H Barbara Liskov είναι συγγραφέας τριών βιβλίων και πάνω από εκατό τεχνικών εργασιών.

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

Το 1970 παντρεύτηκε τον Nathan Liskov, και ο γιος τους, Moses Liskov , γεννήθηκε το 1975.

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

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

  1. www.pmg.csail.mit.edu/~liskov/. Ανακτήθηκε στις 5  Δεκεμβρίου 2017.
  2. www.upc.edu/ca/la-upc/honoris-causa.
  3. Barbara Liskov - A.M. Turing Award Winner
  4. Barbara Liskov, Programming Methodology Group, MIT.
  5. «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. 
  6. «Barbara Liskov -- Engineergirl». Ανακτήθηκε στις 2007-09-06. 
  7. «UW-Madison Computer Science Ph.D.s Awarded, May 1965 - August 1970». Ανακτήθηκε στις 2010-11-08. 
  8. 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 
  9. «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. 
  10. IEEE John von Neumann Medal Recipients from the website of IEEE
  11. «Honorary Doctors». Zurich: ETH Computer Science. 22 Mar 2006. Ανακτήθηκε στις 29 October 2012. Barbara Liskov and Donald E. Knuth were awarded the title ETH Honorary Doctor on 19 November 2005. 
  12. «Distinguished Lecturers Barbara Liskov and Donald E. Knuth». Zurich: ETH Computer Science. Jan 2006. Ανακτήθηκε στις 29 October 2012. 
  13. Top prize in computing goes to MIT professor from the website of The Boston Globe
  14. 14,0 14,1 Barbara Liskov Wins Turing Award | March 10, 2009 from the Dr. Dobb's Journal website
  15. 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. 
  16. Liskov, B. (March 1988). «Distributed programming in Argus». Comm. ACM 31 (3): 300–312. doi:10.1145/42392.42399. 
  17. «ACM Names Barbara Liskov Recipient of the 2008 ACM A.M. Turing Award». Association for Computing Machinery. Ανακτήθηκε στις 2009-03-10.