środa,
Stephen Cook
14 grudnia 1939 w Buffalo urodził się amerykański informatyk Stephen Cook. W 1982 roku otrzymał nagrodę Turinga „za postęp w zrozumieniu teorii złożoności obliczeniowej w sposób znaczący i dogłębny”.
Studiował na Uniwersytecie Michigan. Zdobył tam tytuł licencjata. Na wydziale matematyki Uniwersytetu Harvarda został magistrem w 1962, a następnie uzyskał tytuł doktora w 1966 roku. Początkowo pracował na Uniwersytecie Kalifornijskim w Berkeley, a od 1970 roku na Uniwersytecie w Toronto. Główne obszary jego badań to teoria złożoności i złożoność dowodu, semantyka języków programowania, obliczenia równoległe oraz sztuczna inteligencja. Jest laureatem wielu prestiżowych nagród i wyróżnień oraz członkiem kilku elitarnych towarzystw naukowych.
