Sir Tony Hoare (1934–2026)

[mick7]

Ο Σερ Tony Hoare, που πέθανε σε ηλικία 92 ετών, υπήρξε μια από τις σημαντικότερες μορφές στον σχεδιασμό λογισμικού υπολογιστών. Είναι περισσότερο γνωστός για την ανάπτυξη ενός από τους πιο αποδοτικούς αλγορίθμους ταξινόμησης.

Η σημαντικότερη συνεισφορά του είναι το Quicksort, ένας αλγόριθμος τύπου «divide and conquer». Πρόκειται για μια μέθοδο που διασπά ένα σύνθετο πρόβλημα σε μικρότερα, τα επιλύει ανεξάρτητα και στη συνέχεια συνδυάζει τα αποτελέσματα για να δώσει τη συνολική λύση.

Ο Hoare ανέπτυξε τον αλγόριθμο το 1959, ενώ εργαζόταν σε πρόβλημα αναζήτησης λέξεων σε λεξικό, ως φοιτητής ανταλλαγής του British Council στο Moscow State University, υπό την επίβλεψη του μαθηματικού Andrey Kolmogorov.

Το 1960 επέστρεψε στην Αγγλία και εργάστηκε στην Elliott Brothers, όπου του ανατέθηκε να υλοποιήσει έναν αλγόριθμο ταξινόμησης γνωστό ως Shell sort. Σύμφωνα με μια γνωστή ιστορία, είπε στους προϊσταμένους του ότι μπορούσε να σχεδιάσει έναν ταχύτερο αλγόριθμο. Εκείνοι απάντησαν προκλητικά «I bet you can’t». Ο Hoare απέδειξε το αντίθετο, και το Quicksort καθιερώθηκε ως βασικό εργαλείο ταξινόμησης, που χρησιμοποιείται μέχρι σήμερα.

Πέρα από το Quicksort, ο Hoare συνέβαλε σημαντικά στην επιστήμη των υπολογιστών. Συμμετείχε στον σχεδιασμό γλωσσών προγραμματισμού όπως οι Pascal, Modula και Occam, ενώ το 1969 εισήγαγε τη Hoare Logic, ένα τυπικό σύστημα για την επαλήθευση της ορθότητας προγραμμάτων.

Το 1978 ανέπτυξε το Communicating Sequential Processes (CSP), ένα θεωρητικό πλαίσιο για την περιγραφή της επικοινωνίας μεταξύ ταυτόχρονων διεργασιών.

Ο ίδιος παραδεχόταν ότι ακόμη και ειδικοί δυσκολεύονταν με αυτές τις έννοιες. Σε μια χαρακτηριστική ιστορία, όταν προσπαθούσε να εξηγήσει την έννοια της «recursive subroutine» σε έναν μάνατζερ, εκείνος απάντησε:
«Tony, I don’t care if the program talks to itself, as long as it doesn’t do it on company time.»

Ο Charles Antony Richard Hoare γεννήθηκε στις 11 Ιανουαρίου 1934 στο Colombo της Ceylon (σημερινή Sri Lanka). Σπούδασε στο King’s School, Canterbury και στη συνέχεια στο Merton College, Oxford, όπου μελέτησε λογική με τον John Lucas.

Κατά τη διάρκεια της στρατιωτικής του θητείας στο Royal Navy, έμαθε ρωσικά στο Joint Services School for Linguists. Επιστρέφοντας στην Οξφόρδη, ήρθε σε επαφή με τον προγραμματισμό στον υπολογιστή Ferranti Mercury, έναν από τους πρώτους του πανεπιστημίου.

Το 1968 διορίστηκε καθηγητής στο Queen’s University Belfast, ενώ το 1977 επέστρεψε στην Οξφόρδη ως Professor of Computing, κατέχοντας την έδρα Christopher Strachey μέχρι τη συνταξιοδότησή του το 1988. Αργότερα συνεργάστηκε με τη Microsoft Research Cambridge.

Ο Hoare ήταν γνωστός για την ευγένεια, τη σεμνότητα και το χιούμορ του, στοιχεία που τον έκαναν ιδιαίτερα αγαπητό, ακόμη και σε πολύ νεότερους συναδέλφους.

Το 2009 ζήτησε συγγνώμη για την εισαγωγή του null reference το 1965. Αν και χρήσιμο εργαλείο, παραδέχτηκε ότι προκάλεσε «αναρίθμητα errors, vulnerabilities και system crashes», κοστίζοντας δισεκατομμύρια. Το χαρακτήρισε «the billion-dollar mistake».

Ο Hoare τιμήθηκε με το Turing Award το 1980, έγινε Fellow της Royal Society το 1982 και χρίστηκε ιππότης το 2000.

Το 1962 παντρεύτηκε τη Jill Pym, με την οποία απέκτησε τρία παιδιά.

===> https://en.wikipedia.org/wiki/Tony_Hoare