Μπάρμπαρα Λίσκοφ
Η Μπάρμπαρα Λίσκοφ (Barbara Liskov) (γεννήθηκε στις 7 Νοεμβρίου του 1939 ως Μπάρμπαρα Τζέιν Χάμπερμαν) είναι Αμερικανίδα επιστήμονας πληροφορικής[12] και εργάζεται ως Καθηγήτρια στο Ινστιτούτο Τεχνολογίας της Μασαχουσέτης και ως Καθηγήτρια Μηχανικής της πολυτεχνικής Σχολής Ηλεκτρολόγων Μηχανικών και Επιστήμης Υπολογιστών.[13] Είναι νικήτρια του βραβείου Τούρινγκ και ανέπτυξε την Αρχή της Υποκατάστασης της Λίσκοφ.
Ζωή και καριέρα
[Επεξεργασία | επεξεργασία κώδικα]Η Λίσκοφ γεννήθηκε το 1939 στην Καλιφόρνια, και αποτελεί το μεγαλύτερο από τα τέσσερα παιδιά της Τζέιν (του γένος Ντίκχοφ) και Μόζις Χάμπερμαν.[14] Απέκτησε το BA της στα μαθηματικά στο Πανεπιστήμιο της Καλιφόρνια στο Μπέρκλεϋ, το 1961. Το 1968 έγινε μία από τις πρώτες γυναίκες στις Ηνωμένες Πολιτείες που τους απονεμήθηκε το Διδακτορικό δίπλωμα από το τμήμα της επιστήμης υπολογιστών, όταν της απονεμήθηκε το πτυχίο της από το Πανεπιστήμιο του Στάνφορντ.[15][16] Το θέμα της Διδακτορικής διατριβής της ήταν ένα πρόγραμμα υπολογιστών όπου μπορεί κανείς να παίξει σε τελικούς αγώνες στο σκάκι.[17]
Η Λίσκοφ έχει καθοδηγήσει πολλά σημαντικά έργα, συμπεριλαμβανομένου το λειτουργικό σύστημα Venus, ένα μικρό, χαμηλού κόστους και διαδραστικό σύστημα καταμερισμού χρόνου. Επίσης είχε αναλάβει το σχεδιασμό και την υλοποίηση του CLU, του Argus, της πρώτης γλώσσας υψηλού επιπέδου για την υποστήριξη της υλοποίησης κατανεμημένων προγραμμάτων και για την απόδειξη της τεχνικής της διοχέτευσης μέσω υποσχέσεων. Τέλος, καθοδήγησε το εγχείρημα του Thor, μιας αντικειμενοστρεφούς βάσης δεδομένων. Με την Ζανέτ Ουίνγκ, ανέπτυξε ένα συγκεκριμένο ορισμό για τον προσδιορισμό της κληρονομικότητας τύπων (subtyping), κοινώς γνωστός ως "Αρχή Yποκατάστασης Λίσκοφ". Διευθύνει τη Μεθοδολογία Προγραμματισμού της Ομάδας του MIT, εστιαζόμενη στο πρόβλημα των "Βυζαντινών Στρατηγών" και στα κατανεμημένα υπολογιστικά συστήματα.
Αναγνώριση και βραβεία
[Επεξεργασία | επεξεργασία κώδικα]Η Λίσκοφ είναι μέλος της Εθνικής Ακαδημίας Μηχανικής, της Εθνικής Ακαδημίας Επιστημών, μέλος της Αμερικανικής Ακαδημίας Τεχνών και Επιστημών και του Συλλόγου Μηχανημάτων Υπολογισμού. Το 2002, αναγνωρίστηκε ως μία από τις κορυφαίες γυναίκες μέλη ΔΕΠ στο MIT, και μεταξύ των κορυφαίων 50 μελών ΔΕΠ στις επιστήμες στις ΗΠΑ.[18]
Το 2004, η Μπάρμπαρα Λίσκοφ κέρδισε το μετάλλιο Τζον φον Νόιμαν για τις "θεμελιώδεις συνεισφορές σε γλώσσες προγραμματισμού, μεθοδολογία προγραμματισμού και κατανεμημένα συστήματα".[19] Στις 19 Νοεμβρίου του 2005, η Μπάρμπαρα Λίσκοφ και ο Ντόναλντ Ε. Κνουθ βραβεύθηκαν στο ETH ως Επίτιμοι Διδάκτορες.[20] Η Λίσκοφ και ο Κνουθ επίσης πήραν μέρος στο ETH Zurich Distinguished Colloquium Series.[21]
Η Λίσκοφ έλαβε το 2008 το βραβείο Τούρινγκ από την ACM, τον Μάρτιο του 2009,[22] για το έργο της στο σχεδιασμό των γλωσσών προγραμματισμού και λογισμικού μεθοδολογίας που οδήγησε στην ανάπτυξη του αντικειμενοστρεφούς προγραμματισμού.[23] Συγκεκριμένα, η Λίσκοφ ανέπτυξε δύο γλώσσες προγραμματισμού, την CLU[24] στη δεκαετία του 1970 και την Argus[25] κατά τη δεκαετία του 1980.[23] Η ACM χρησιμοποίησε τις συνεισφορές της ως αναφορές για τα πρακτικά και θεωρητικά θεμέλια της "γλώσσα προγραμματισμού και σχεδιασμού του συστήματος, ιδίως σε σχέση με δεδομένα άντλησης, ανοχή σε σφάλματα, και κατανεμημένα υπολογιστικά συστήματα."[26]
Η Μπάρμπαρα Λίσκοφ είναι συγγραφέας τριών βιβλίων και πάνω από εκατό τεχνικών εργασιών.
Προσωπική ζωή
[Επεξεργασία | επεξεργασία κώδικα]Το 1970 παντρεύτηκε τον Νέιθαν Λίσκοφ και ο γιος τους Μόζες γεννήθηκε το 1975.
Δείτε επίσης
[Επεξεργασία | επεξεργασία κώδικα]Παραπομπές
[Επεξεργασία | επεξεργασία κώδικα]- ↑ www
.pmg .csail .mit .edu /~liskov /. Αρχειοθετήθηκε από το πρωτότυπο στις 27 Απριλίου 2009. Ανακτήθηκε στις 5 Δεκεμβρίου 2017. - ↑ Ανακτήθηκε στις 14 Ιουνίου 2019.
- ↑ amturing
.acm .org /award _winners /liskov _1108679 .cfm. - ↑ www
.ieee .org /about /awards /bios /vonneumann-recipients .html #2019%20-%20Eva%20Tardos. - ↑ events
.seas .upenn .edu /distinguished-lectures /pender-lecture /. - ↑ www
.invent .org /inductees /barbara-liskov. - ↑ www
.computer .org /profiles /barbara-liskov. Ανακτήθηκε στις 17 Ιουλίου 2019. - ↑ www
.upc .edu /ca /la-upc /honoris-causa. - ↑ awards
.acm .org /fellows /award-recipients. Ανακτήθηκε στις 23 Ιουνίου 2024. - ↑ inf
.ethz .ch /de /departement /auszeichnungen-und-rankings /ehrendoktoren .html. Ανακτήθηκε στις 10 Νοεμβρίου 2022. - ↑ www
.ncwit .org /ncwit-pioneer-tech-award. Ανακτήθηκε στις 20 Μαΐου 2020. - ↑ Barbara Liskov - A.M. Turing Award Winner
- ↑ Barbara Liskov, Programming Methodology Group, MIT.
- ↑ «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.
- ↑ «Barbara Liskov -- Engineergirl». Ανακτήθηκε στις 6 Σεπτεμβρίου 2007.
- ↑ «UW-Madison Computer Science Ph.D.s Awarded, May 1965 - August 1970». Ανακτήθηκε στις 8 Νοεμβρίου 2010.
- ↑ 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. Αρχειοθετήθηκε από το πρωτότυπο στις 2014-01-09. https://web.archive.org/web/20140109225347/http://oai.dtic.mil/oai/oai?verb=getRecord&metadataPrefix=html&identifier=AD0673971. Ανακτήθηκε στις 2016-05-29
- ↑ «MIT's magnificent seven: Women faculty members cited as top scientists». MIT News Office (Cambridge, MA). 5 Nov 2002. Αρχειοθετήθηκε από το πρωτότυπο στις 2014-01-09. https://web.archive.org/web/20140109221808/http://web.mit.edu/newsoffice/2002/women.html. Ανακτήθηκε στις 29 October 2012.
- ↑ IEEE John von Neumann Medal Recipients from the website of IEEE
- ↑ «Honorary Doctors». Zurich: ETH Computer Science. 22 Μαρτίου 2006. Αρχειοθετήθηκε από το πρωτότυπο στις 8 Ιανουαρίου 2013. Ανακτήθηκε στις 29 Οκτωβρίου 2012.
Barbara Liskov and Donald E. Knuth were awarded the title ETH Honorary Doctor on 19 November 2005.
- ↑ «Distinguished Lecturers Barbara Liskov and Donald E. Knuth». Zurich: ETH Computer Science. Ιαν. 2006. Αρχειοθετήθηκε από το πρωτότυπο στις 3 Ιουνίου 2013. Ανακτήθηκε στις 29 Οκτωβρίου 2012.
- ↑ Top prize in computing goes to MIT professor from the website of The Boston Globe
- ↑ 23,0 23,1 Barbara Liskov Wins Turing Award | March 10, 2009 from the Dr. Dobb's Journal website
- ↑ Liskov, B.; Snyder, A.; Atkinson, R.; Schaffert, C. (August 1977). «Abstraction mechanisms in CLU». Comm. ACM 20 (8): 564–576. doi:. CiteSeerX: 10.1.1.112.656.
- ↑ Liskov, B. (March 1988). «Distributed programming in Argus». Comm. ACM 31 (3): 300–312. doi:.
- ↑ «ACM Names Barbara Liskov Recipient of the 2008 ACM A.M. Turing Award». Association for Computing Machinery. Αρχειοθετήθηκε από το πρωτότυπο στις 16 Ιουλίου 2012. Ανακτήθηκε στις 10 Μαρτίου 2009.