استیون کوک
دانشمند علوم کامپیوتر آمریکایی / From Wikipedia, the free encyclopedia
استیون آرتور کوک (به انگلیسی: Stephen Arthur Cook) (زاده ۱۴ دسامبر، ۱۹۳۹-بوفالو، نیویورک)، یک دانشمند آمریکایی علوم رایانه و یک ریاضیدان سرشناس است که سهم عمدهای در رشتههای نظریه پیچیدگی محاسباتی و پیچیدگی اثبات داشتهاست. وی در حال حاضر یک استاد دانشگاه در بخش علوم کامپیوتر و ریاضیات دانشگاه تورنتو است.
اطلاعات اجمالی استیون آرتور کوک, زادهٔ ...
استیون آرتور کوک | |
---|---|
زادهٔ | ۱۴ دسامبر ۱۹۳۹ (۸۴ سال) بوفالو، نیویورک |
ملیت | آمریکایی |
محل تحصیل | دانشگاه هاروارد دانشگاه میشیگان |
شناختهشده برای | انپی کامل Proof complexity قضیه کوک لوین |
جایزه(ها) | جایزه تورینگ (۱۹۸۲) |
پیشینه علمی | |
شاخه(ها) | علوم کامپیوتر |
محل کار | دانشگاه کالیفرنیا، برکلی دانشگاه تورنتو |
استاد راهنما | هائو وانگ |
دانشجویان دکتری | والتر ساویتچ |
بستن