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

11 января 1934 года родился Чарльз Энтони Ричард (Тони) Хоар, разработчик аксиоматического подхода к описанию программ. В 1959 году он получил степень магистра в Оксфордском университете. С 1960 по 1968 годы работал в Elliot Bros. (London) Ltd. С 1968 по 1977 годы преподавал в Белфастском университете. В 1977 году стал профессором компьютерных наук в Школе Джеймса Мартина в Оксфорде. Внес значительный вклад в понимание логики компьютерных программ. В 1980 году получил Премию Тьюринга.
Поделиться материалом:
В этот же день:
-
Норвегия стала первой страной, которая начала переход с FM-радио на цифровое вещание DABЯнв 11 2017
-
Термин Кремниевая Долина — впервые в печатиЯнв 11 1971
-
Apple представила первый Mac MiniЯнв 11 2005
-
Первый выпуск журнала «Популярная механика»Янв 11 1902
-
Родился Эйнар Стефферуд — один из пионеров интернетаЯнв 11 1930
-
Комитетом ACM/GAMM сформирована команда для работы над Algol 60Янв 11 1960