Родился Ч.Э.Р. Хоар разработчик аксиоматического подхода

11 января 1934 года родился Чарльз Энтони Ричард (Тони) Хоар, разработчик аксиоматического подхода к описанию программ. В 1959 году он получил степень магистра в Оксфордском университете. С 1960 по 1968 годы работал в Elliot Bros. (London) Ltd. С 1968 по 1977 годы преподавал в Белфастском университете. В 1977 году стал профессором компьютерных наук в Школе Джеймса Мартина в Оксфорде. Внес значительный вклад в понимание логики компьютерных программ. В 1980 году получил Премию Тьюринга.