Μπάρμπαρα Λίσκοφ
Η Μπάρμπαρα Λίσκοφ (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.