Τόνι Χορ
Ο Τόνι Χορ (αγγλ. Tony Hoare. Ολόκληρο το ονοματεπώνυμό του: Sir Charles Antony Richard Hoare) είναι Βρετανός επιστήμονας υπολογιστών, ο οποίος συνέβαλε στον ορισμό και στον σχεδιασμό των γλωσσών προγραμματισμού.[11]
Βιογραφικά στοιχεία Επεξεργασία
Γεννήθηκε στις 11 Ιανουαρίου 1934 στην πρωτεύουσα Κολόμπο της Κεϋλάνης(σημερινή Σρι Λάνκα).[11]
Σπουδές Επεξεργασία
Ο Τόνι Χορ αποφοίτησε από το Dragon School στην Οξφόρδη και στο King's School στο Κάντερμπερι.[12] Αφού τελείωσε με τη δευτεροβάθμια εκπαίδευση συνέχισε τη μετεκπαίδευση του στο Κολλέγιο Μέρτον της Οξφόρδης επιλέγοντας την μελέτη των Λατινικών, των Ελληνικών καθώς και της φιλοσοφίας (γνωστό ως πτυχίο " Greats"). Διάλεξε να σπουδάσει σύγχρονη φιλοσοφία, διότι θα του παρείχε έναν δρόμο κατανόησης της λογικής.[11]
Μόλις αποφοίτησε το 1956 κλήθηκε να υπηρετήσει στο Βασιλικό Ναυτικό συμπληρώνοντας την υποχρεωτική διετία στρατιωτικής θητείας, όπου και έμαθε ρωσικά (1956-1957).[12] Έτσι επέστρεψε στην Οξφόρδη για έναν ακόμη χρόνο, ώστε να σπουδάσει Στατιστική και στο τέλος αυτής της χρονιάς παρακολούθησε μαθήματα προγραμματισμού με σκοπό να προγραμματίζει υπολογιστές έχοντας διδαχθεί (Mercury Autocode) από την Leslie Fox.[12]
Στη συνέχεια πήγε στο Κρατικό Πανεπιστήμιο της Μόσχας ως μεταπτυχιακός φοιτητής και σπούδασε Μηχανική Μετάφραση, μαζί με πιθανότητες με τον Ρώσο μαθηματικό Αντρέι Κολμογκόροφ.[12]
Έρευνα και Καριέρα Επεξεργασία
Ο Τόνι Χορ είχε εντοπίσει πρόβλημα στην ταξινόμηση των λεξικών και για να το αντιμετωπίσει προσπάθησε να επινοήσει έναν αλγόριθμο με σκοπό να επεξεργαστεί αυτά τα λεξικά. Στην αρχή ανακάλυψε τον bubblesort αλλά γρήγορα κατάλαβε ότι θα ήταν αργός για τον σκοπό που τον χρειαζόταν. Έτσι κατέληξε σε μια γρηγορότερη μέθοδο, στον αλγόριθμο quicksort (1959-1960), που θα επεξεργαζόταν τα λεξικά.[13]
Επιστρέφοντας στην Αγγλία εντάχθηκε σε μια βρετανική εταιρεία υπολογιστών που ονομάζεται Elliott Brothers (1960-1968) και έχει έδρα το Λονδίνο.[11] Ένα από τα σημαντικότερα καθήκοντα που του ανατέθηκαν εκεί ήταν η ηγεσία της ομάδας που παρήγαγε τον μεταγλωττιστή ALGOL 60 για τον υπολογιστή Elliott 503, έναν υπολογιστή με 8Κ από 39-bit λέξεων ο οποίος διαφημίστηκε λόγω της δυνατότητας εκτέλεσης έως και 200 προγράμματα την ημέρα. Ο μεταγλωττιστής ήταν "ένα πέρασμα", δηλαδή απαιτούσε μόνο ένα πέρασμα από το δέντρο πηγαίου κώδικα του προγράμματος αντικειμένου.[12]
Αργότερα ο Τόνι Χορ έγινε καθηγητής της επιστήμης των υπολογιστών στο Queen's University του Μπέλφαστ[11] (1968-1977) και την τελευταία χρονιά (1977) επιστέφει ξανά στην Οξφόρδη, αυτήν την φορά ως καθηγητής υπολογιστών ώστε να ηγηθεί στην Ερευνητική Ομάδα Προγραμματισμού στο Εργαστήριο Υπολογιστών του Πανεπιστημίου της Οξφόρδης, μετά τον θάνατο του Christopher Strachey.[14]
Προσωπική ζωή Επεξεργασία
Ο Τόνι Χορ παντρεύτηκε το 1962 την Τζιλ Πιμ (αγγλική γλώσσα:Jill Pym), μέλος της ομάδας που καθοδηγούσε ο Τόνι στους Elliott Brothers.[12]
Βραβεία και Βραβεύσεις Επεξεργασία
Βραβεία
- Distinguished Fellow of the British Computer Society (1978)
- Turing Award (1980)
- Harry H. Goode Memorial Award (1981)
- Fellow of the Royal Society (1982)
- Kyoto Prize (2000)
- Fellow of the Royal Academy of Engineering (2005)
- Μέλος του National Academy of Engineering (2006)
- Computer History Museum (CHM)(2006)
- SIGPLAN Βραβείο επιτεύγματος γλωσσών προγραμματισμού(2011)
- IEEE John von Neumann Medal (2011)
- Επίτιμος Διδάκτορας, University of Warsaw (2012)
- Επίτιμος Διδάκτορας, Complutense University of Madrid (2013)
Βιβλία Επεξεργασία
- Structured Programming (1972)
- Unifying Theories of Programming (1985)
- Mechanised Reasoning and Hardware Design (1992)
- Communicating Sequential Processes (1998)
Παραπομπές Επεξεργασία
- ↑ 1,0 1,1 Εθνική Βιβλιοθήκη της Γερμανίας: (Γερμανικά) Gemeinsame Normdatei. Ανακτήθηκε στις 24 Απριλίου 2014.
- ↑ 2,0 2,1 (Αγγλικά) SNAC. w6vt663z. Ανακτήθηκε στις 9 Οκτωβρίου 2017.
- ↑ LIBRIS. 18 Σεπτεμβρίου 2012. libris
.kb .se /katalogisering /gdsvq7z02f16w2r. Ανακτήθηκε στις 24 Αυγούστου 2018. - ↑ p14062.htm#i140620.
- ↑ 5,0 5,1 5,2 5,3 Darryl Roger Lundy: (Αγγλικά) The Peerage.
- ↑ www
.ieee .org /about /awards /bios /vonneumann-recipients .html #2019%20-%20Eva%20Tardos. - ↑ www
.kyotoprize .org /en /laureates /. - ↑ www
.computer .org /volunteering /awards /goode. - ↑ www
.ucm .es /data /cont /docs /35-2019-01-31-3-2013-11-22-Laudatio%20Hoare%20Web .pdf. - ↑ blogs
.elpais .com /turing /2013 /04 /tony-hoare-doctor-honoris-causa-por-la-universidad-complutense .html. - ↑ 11,0 11,1 11,2 11,3 11,4 Jones, Cliff. «C. Antony R. Hoare - A.M. Turing Award Laureate» (στα αγγλικά). A.M. Turing Award (Association for Computing Machinery). https://amturing.acm.org/award_winners/hoare_4622167.cfm.
- ↑ 12,0 12,1 12,2 12,3 12,4 12,5 «Tony Hoare biography» (PDF).
- ↑ Hoare on inventing Quicksort, https://www.youtube.com/watch?v=pJgKYn0lcno, ανακτήθηκε στις 2021-11-10
- ↑ «Talk by Tony Hoare (Microsoft Research, Cambridge, UK)». Háskólinn í Reykjavík (στα Ισλανδικά). Ανακτήθηκε στις 12 Νοεμβρίου 2021.