Τόνι Χορ
Ο σερ Τόνι Χορ (αγγλ. Tony Hoare. Ολόκληρο το ονοματεπώνυμό του: Sir Charles Antony Richard Hoare) είναι Βρετανός επιστήμονας υπολογιστών, ο οποίος συνέβαλε στον ορισμό και τον σχεδιασμό των γλωσσών προγραμματισμού.[12]
Βιογραφικά στοιχεία
[Επεξεργασία | επεξεργασία κώδικα]Γεννήθηκε στις 11 Ιανουαρίου 1934 στο Κολόμπο, πρωτεύουσα της Κεϋλάνης (σημερινής Σρι Λάνκα).[12]
Σπουδές
[Επεξεργασία | επεξεργασία κώδικα]Ο Τόνι Χορ αποφοίτησε από το Dragon School στην Οξφόρδη και το King's School στο Κάντερμπερι.[13] Αφού ολοκλήρωσε τη δευτεροβάθμια εκπαίδευσή του ξεκίνησε τις μεταπτυχιακές του σπουδές στο Κολλέγιο Μέρτον της Οξφόρδης επιλέγοντας τη μελέτη των Λατινικών, των Ελληνικών και της φιλοσοφίας (γνωστό ως πτυχίο " Greats"). Επέλεξε να σπουδάσει σύγχρονη φιλοσοφία, διότι πίστευε ότι θα του παρείχετο με τον τρόπο αυτό η δυνατότητα κατανόησης της λογικής.[12]
Μόλις αποφοίτησε το 1956 κλήθηκε να υπηρετήσει στο Βασιλικό Ναυτικό συμπληρώνοντας την υποχρεωτική διετή στρατιωτική θητεία, όπου και έμαθε ρωσικά (1956-1957).[13] Επέστρεψε στη συνέχεια στην Οξφόρδη για έναν ακόμη χρόνο, για να σπουδάσει Στατιστική. Στη συνέχεια παρακολούθησε μαθήματα προγραμματισμού με σκοπό να προγραμματίζει υπολογιστές έχοντας διδαχθεί (Mercury Autocode) από την Leslie Fox.[13]
Φοίτησε, ως μεταπτυχιακός φοιτητής, στο Κρατικό Πανεπιστήμιο της Μόσχας όπου σπούδασε Μηχανική Μετάφραση και Πιθανότητες με τον Ρώσο μαθηματικό Αντρέι Κολμογκόροφ.[13]
Έρευνα και Καριέρα
[Επεξεργασία | επεξεργασία κώδικα]Ο Τόνι Χορ είχε εντοπίσει πρόβλημα στην ταξινόμηση των λεξικών και για να το αντιμετωπίσει προσπάθησε να επινοήσει έναν αλγόριθμο με σκοπό να επεξεργαστεί αυτά τα λεξικά. Στην αρχή ανακάλυψε τον bubblesort αλλά γρήγορα κατάλαβε ότι θα ήταν αργός για τον σκοπό που τον χρειαζόταν. Έτσι κατέληξε σε μια γρηγορότερη μέθοδο, στον αλγόριθμο quicksort (1959-1960), που θα επεξεργαζόταν τα λεξικά.[14]
Επιστρέφοντας στην Αγγλία εντάχθηκε σε μια βρετανική εταιρεία υπολογιστών που ονομάζεται Elliott Brothers (1960-1968) και έχει έδρα το Λονδίνο.[12] Ένα από τα σημαντικότερα καθήκοντα που του ανατέθηκαν εκεί ήταν η ηγεσία της ομάδας που παρήγαγε τον μεταγλωττιστή ALGOL 60 για τον υπολογιστή Elliott 503, έναν υπολογιστή με 8Κ από 39-bit λέξεων ο οποίος διαφημίστηκε λόγω της δυνατότητας εκτέλεσης έως και 200 προγραμμάτων την ημέρα. Ο μεταγλωττιστής ήταν "ένα πέρασμα", δηλαδή απαιτούσε μόνο ένα πέρασμα από το δέντρο πηγαίου κώδικα του προγράμματος αντικειμένου.[13]
Αργότερα ο Τόνι Χορ έγινε καθηγητής της επιστήμης των υπολογιστών στο Queen's University του Μπέλφαστ[12] (1968-1977) και την τελευταία χρονιά (1977) επιστέφει ξανά στην Οξφόρδη, αυτήν την φορά ως καθηγητής υπολογιστών ώστε να ηγηθεί στην Ερευνητική Ομάδα Προγραμματισμού στο Εργαστήριο Υπολογιστών του Πανεπιστημίου της Οξφόρδης, μετά τον θάνατο του Christopher Strachey.[15]
Το 2024, συνεργάτες και μαθητές του δημοσίευσαν αφιερωματικά άρθρα για να τιμήσουν τον Τόνι Χορ, επ' ευκαιρία των 90ών γενεθλίων του.[16]
Προσωπική ζωή
[Επεξεργασία | επεξεργασία κώδικα]Ο Τόνι Χορ παντρεύτηκε το 1962 την Τζιλ Πιμ (αγγλική γλώσσα:Jill Pym), μέλος της ομάδας που καθοδηγούσε ο Τόνι στους Elliott Brothers.[13]
Βραβεία και Βραβεύσεις
[Επεξεργασία | επεξεργασία κώδικα]Βραβεία
- Distinguished Fellow of the British Computer Society (1978)
- Turing Award (1980)
- Harry H. Goode Memorial Award (1981)
- Εταίρος της Βασιλικής Εταιρίας (1982)
- Kyoto Prize (2000)
- Εταίρος της Βασιλικής Ακαδημίας της Μηχανικής (2005)
- Μέλος του Εθνικής Ακαδημίας της Μηχανικής (2006)
- Computer History Museum (CHM)(2006)
- SIGPLAN Βραβείο επιτεύγματος γλωσσών προγραμματισμού(2011)
- IEEE John von Neumann Medal (2011)
- Επίτιμος Διδάκτορας Πανεπιστημίου Βαρσοβίας (2012)
- Επίτιμος Διδάκτορας Πανεπιστημίου Κομπλουτένσε της Μαδρίτης (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. 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. - ↑ www
.acm .org /media-center /2021 /january /fellows-2020. Ανακτήθηκε στις 24 Ιουνίου 2024. - ↑ 12,0 12,1 12,2 12,3 12,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.
- ↑ 13,0 13,1 13,2 13,3 13,4 13,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.
- ↑ Jifeng, He; Jones, Cliff; Roscoe, Bill; Stoy, Joe; Sufrin, Bernard; Bowen, Jonathan P. (2 July 2024). Denvir, Tim, επιμ. «Tony Hoare @ 90». FACS FACTS (Formal Aspects of Computing Science (FACS) Specialist Group): 5-42. ISSN 0950-1231. https://www.bcs.org/media/1wrosrpv/facs-jul24.pdf. Ανακτήθηκε στις 10 July 2024.