"Rechner sind wie Embryos": Der Vater der Computerisierung im Interview

Wenige Informatiker haben ihr Fach so entscheidend geprägt wie der 73-jährige Brite Sir Charles Antony Richard Hoare. Sein Ziel ist es, mit rein mathematischen Methoden Programme zu schaffen, die sich selbst auf Fehler prüfen. Vor kurzem hat Hoare für seine Verdienste um diese Wissenschaft in München den Friedrich-L.-Bauer-Preis für Informatik erhalten.