Sir Charles Anthony Richard Hoare, Entwickler effizienter Programmiersprachen, bekannt unter dem Begriff "axiomatische Semantik" oder auch Hoare-Logik. Diese wurde in Programmiersprachen wie Pascal und anderen implementiert.
Sir Charles Anthony Richard Hoare
"Tony" Hoare studierte Philosopie an der Universität Oxford (England) und später Statistik und Wahrscheinlichkeitstheorie an der Universität Moskau.
Er arbeitete zunächst acht Jahre bei der Computer-Firma Elliot Brothers, um dann 1968 als Professor für Computing Science an die Universität Belfast gehen. 1977 kehrte er als Professor für Computing an die Universität Oxford zurück.
Hoare widmete sich den Themen Algorithmik, Programmiersprachen, Parallelverarbeitung und Beweistechniken. Er entwickelte zusammen mit Dijkstra das Konzept der strukturierten Programmierung.
Dijkstra
