Sir Charles Antony Richard Hoare FRS FREng (fæddur 11. janúar 1934), er breskur tölvunarfræðingur. Hann þróaði flokkunaralgoritma kvicksortið árið 1959/1960. Hann þróaði einnig Hoare rökfræði til að sannprófa áætlunargátt og formlegt tungumál samskiptatengda ferla (CSP) til að tilgreina samskipti samhliða ferla (þ.mt vandamál heimspekinga heimspekinga) og innblástur fyrir forritunarmálið. [Moskvu ríkisháskólinn][Tölvu vísindi] |