1965 yılında bir boş referansın (null reference) uygulanması, bunu bir milyar dolarlık hata olarak nitelendiren Tony Hoare’nin kariyerinde en çok alıntılanan hata olmaya devam etmektedir. Bu itirafın ötesinde, bilgisayar bilimlerine yaptığı temel katkılar arasında quicksort algoritmasının geliştirilmesi, program doğrulaması için biçimsel mantık ve İletişim Kurulan Sıralı Süreçler (Communicating Sequential Processes) aracılığıyla eşzamanlı sistemlerin şartnamesinin çıkarılması yer almaktadır.
Erken Dönem Eğitimi ve Sovyet Değişim Programı
1934 yılında Colombo'da doğan Tony Hoare, ilk eğitimini Oxford'daki Dragon School ve Canterbury'deki The King's School'da aldı. Oxford Üniversitesi Merton College'da Klasikler ve Felsefe eğitimi alarak 1956 yılında mezun oldu. Kraliyet Donanması'ndaki ardından gelen ulusal hizmeti sırasında Rus dilinde yetkinlik kazandı. Bu becerisi, Moskova Lomonosov Devlet Üniversitesi'nde British Council değişim öğrencisi olarak bir süre geçirmesini ve burada Andrey Kolmogorov'un gözetiminde makine çevirisi çalışmasını kolaylaştırdı.
Algoritmalara ve Mantığa Katkılar
1960 yılında Sovyetler Birliği'nden ayrıldıktan sonra Hoare, Londra'daki Elliott Brothers Ltd şirketine katıldı. Bu süre zarfında quicksort algoritmasını geliştirdi ve ALGOL 60 için bir derleyici üzerinde çalışdı. Kariyer yolu onu akademik pozisyonlara yönlendirdi; bunlar arasında 1968'de Belfast Queen's Üniversitesi'nde Bilgisayar Bilimi Profesörlüğü de bulunmaktadır. 1977'de Oxford Üniversitesi'ne dönerek Programlama Araştırma Grubu'nu yönetti ve 1988'den 2000'deki emekliliğine kadar ilk Christopher Strachey Bilgisayar Profesörü olarak görev yaptı.
Biçimsel Yöntemler ve Eşzamanlılık
Hoare’nin araştırmaları yazılımın yapısal bütünlüğü üzerine odaklanmıştır. Programların doğruluğunu doğrulamak için aksiyomatik bir temel sağlamak üzere Hoare mantığını geliştirdi. Eşzamanlı bilişim alanında, eşzamanlı süreçler arasındaki etkileşimleri belirtmek için tasarlanmış biçimsel bir dil olan İletişim Kurulan Sıralı Süreçler'i (CSP) tanıttı. Bu alanlardaki çalışmaları büyük ölçekli sistemlerdeki güvenilirlik sorunlarını çözmeyi amaçlıyordu, ancak daha sonra bu biçimsel yöntemlerin endüstriyel olarak benimsenmesinin uygulamada önemli sınırlamalarla karşılaştığını kabul etti.
Profesyonel Onurlar ve İlerleyen Yılları
Kariyeri boyunca Hoare, 1980 ACM Turing Ödülü, 1985 Faraday Madalyası ve 2000 yılında şövalyelik unvanı dahil olmak üzere çok sayıda ödül aldı. Royal Society üyesi ve Ulusal Bilimler Akademisi ile Academia Europaea dahil olmak üzere çeşitli uluslararası kuruluşların üyesiydi. Oxford'dan emekli olduktan sonra Cambridge'deki Microsoft Research'te baş araştırmacı olarak görev yaptı. Hoare, 5 Mart 2026'da Cambridge'de hayatını kaybetti.
Kısa Bilgiler
- Doğum: 1934, Colombo - Ölüm: 2026, Cambridge - Önemli Algoritma: Quicksort - Başlıca Alanı: Bilgisayar Bilimi - Turing Ödülü Yılı: 1980 - Başlıca Akademik Rolleri: Oxford Üniversitesi, Belfast Queen's Üniversitesi - Şövalyelik Unvanı: 2000 - Konuştuğu Diller: Latince, İngilizce, Rusça, Antik Yunanca
Okuyucuların Sorduğu Sorular
### Milyar dolarlık hata neydi?
Hoare bu terimi, 1965 yılında ALGOL W için tip sistemini tasarlarken uyguladığı ve yaygın sistem hatalarına yol açtığını belirttiği boş referans icadını tanımlamak için kullanmıştır.
### İletişim Kurulan Sıralı Süreçler nedir?
Bir bilgisayar sistemi içindeki eşzamanlı süreçler arasındaki etkileşimleri belirtmek ve tanımlamak için Hoare tarafından sunulan biçimsel bir dildir.
