|
تعریف
جایزه آ.ام. تورینگ سالانه از سوی انجمن ماشینهای محاسب (ACM) به اشخاصی که سهم به سزایی در زمینه کامپیوتر دارند، اعطا میشود. از آن جایی که جایزه نوبل برای علوم کامپیوتر وجود ندارد، از این جایزه به عنوان جایزه نوبل در کامپیوتر یاد میشود. این جایزه به افتخار آلن تورینگ پدر علوم کامپیوتر نامگذاری شدهاست. شرکتهای گوگل و اینتل حامیان مالی این جایزه ۲۵۰،۰۰۰ دلاری هستند. فهرست برندگان جایزه تورینگ
۱۹۶۶ آلن پرلیس ایالات متحده آمریکا
۱۹۶۷ موریس ویلکس بریتانیا
۱۹۶۸ ریچارد همینگ ایالات متحده آمریکا
۱۹۶۹ ماروین مینسکی ایالات متحده آمریکا
۱۹۷۰ جیمز ویلکینسون بریتانیا
۱۹۷۱ جان مککارتی ایالات متحده آمریکا
۱۹۷۲ ادسخر دیکسترا هلند
۱۹۷۳ چارلز باخمن ایالات متحده آمریکا
۱۹۷۴ دونالد کنوت ایالات متحده آمریکا
۱۹۷۵ آلن نویل ایالات متحده آمریکا
هربرت سیمون ایالات متحده آمریکا
۱۹۷۶ مایکل رابین اسرائیل
دانا اسکات ایالات متحده آمریکا
۱۹۷۷ جان باکوس ایالات متحده آمریکا
۱۹۷۸ رابرت فلوید ایالات متحده آمریکا
۱۹۷۹ کنت ایورسن کانادا
۱۹۸۰ آنتونی هار بریتانیا
۱۹۸۱ ادگار کاد بریتانیا
۱۹۸۲ استفان کوک ایالات متحده آمریکا
۱۹۸۳ کنت تامسون ایالات متحده آمریکا
دنیس ریچی ایالات متحده آمریکا
۱۹۸۴ نیکلاوس ورث سوئیس
۱۹۸۵ ریچارد کارپ ایالات متحده آمریکا
۱۹۸۶ جان هاپکرافت ایالات متحده آمریکا
رابرت تارجان ایالات متحده آمریکا
۱۹۸۷ جان کوک ایالات متحده آمریکا
۱۹۸۸ ایوان سوترلند ایالات متحده آمریکا
۱۹۸۹ ویلیام کاهان کانادا
۱۹۹۰ فرناندو کورباتو ایالات متحده آمریکا
۱۹۹۱ رابین میلز بریتانیا
۱۹۹۲ باتلر لامسون ایالات متحده آمریکا
۱۹۹۳ یوریس هارتمانیس لاتویا ایالات متحده آمریکا
ریچارد استیرنز ایالات متحده آمریکا
۱۹۹۴ ادوارد فاینباوم ایالات متحده آمریکا
راج ردی هندوستان
۱۹۹۵ مانوئل بلام ونزوئلا
۱۹۹۶ امیر پنوئلی اسرائیل
۱۹۹۷ داگلاس انگلبارت ایالات متحده آمریکا
۱۹۹۸ جیم گری ایالات متحده آمریکا
۱۹۹۹ فردریک بروکز ایالات متحده آمریکا
۲۰۰۰ آندرو یائو چین
۲۰۰۱ اولهیوهان دال نروژ
کریستن نیگارد نروژ
۲۰۰۲ رونالد ریوست ایالات متحده آمریکا
آدی شامیر اسرائیل
لئونارد آدلمن ایالات متحده آمریکا
۲۰۰۳ آلن کی ایالات متحده آمریکا
۲۰۰۴ وینتون سرف ایالات متحده آمریکا
رابرت کان ایالات متحده آمریکا
۲۰۰۵ پیتر ناور دانمارک
۲۰۰۶ فرانسیس آلن ایالات متحده آمریکا
۲۰۰۷ ادموند کلارک ایالات متحده آمریکا
آلن امرسون ایالات متحده آمریکا
جوزف سیفاکیس یونان
۲۰۰۸ باربارا لیسکف ایالات متحده آمریکا
لئونارد آدلمن
لئونارد آدلمن (به انگلیسی: Leonard Adleman) (زاده ۳۱ دسامبر، ۱۹۴۵)، دانشمند علوم نظری رایانه و استاد علوم کامپیوتر و زیستشناسی مولکولی در دانشگاه جنوب کالیفرنیا است. نقش آدلمن در پیدایش محاسبات دیانای
در سال ۱۹۹۴ آدلمن پیشنهاد استفاده از دیانای در حل مسائل ریاضی را داد. او بعد از انجام یک سری تحقیقات دریافت که دیانای توانایی انجام محاسبات ریاضی را دارد. در حقیقت دیانای در انجام ذخیره اطلاعات شباهت زیادی به هارد دیسک کامپیوتر دارد. آدلمن را حتی کاشف این خاصیت مینامند. مقاله او در ژورنال ساینس در سال ۱۹۹۴ به توضیح این پرداخت که چگونه میتوان از دیانای برای حل مسئله مسیر همیلتن استفاده کرد. آدلمن این مسئله را با هفت شهر و با محاسبات دیانای انجام داد. قدمهایی که او برای این کار انجام داد عبارتند از: او رشتههای داخل دیانایها را به عنوان شهرها انتخاب کرد. در ژنتیک، کدها با حروف A، T، C و G مشخص میشوند. ترکیب این حروف شهرها و مسیرهای گذر از آنها را مشخص میکرد.
هر کدام از این مولکولهایی که یک مسیر را مشخص میکند با متصل شدن به هم جوابهای احتمالی مسئله را نشان میدهند.
جوابهای اشتباه طی یک واکنش شیمیایی از بین میروند.
این آزمایش نشان داد که دیانای قابلیت انجام محاسبات ریاضی را دارد ولی استفاده از آنها در این حد هرگز نمیتواند با کامپیوترهای سیلیکونی رقابت کند. فرانسیس آلن
فرانسیس الیزابت فران آلن (به انگلیسی: Frances Elizabeth "Fran" Allen) (زاده ۱۹۳۲)، دانشمند آمریکایی علوم رایانه است. تحصیلات
فرانسیس آلن در سال ۱۹۵۴ مدرک کارشناسی ریاضی خود را از دانشگاه ایالتی نیویورک در آلبانی و سه سال بعد کارشناسی ارشد کامپیوترش را از دانشگاه میشیگان دریافت کرد. کار
آلن کارش را با تدریس ریاضی کاربردی به کودکان شروع کرد. شرایط بد مالی او را مجبور کرد تا برای پرداخت بدهیهایش به فکر کار دیگری باشد و در شرکت آیبیام بهکار مشغول شد و مدت کوتاهی در آنجا به تدریس پرداخت. پس از آن در زمینه بهینهسازی و توسعه کامپایلرها شروع به کار کرد و سپس به طراحی و ساختاربندی زبانهای برنامهنویسی پرداخت و بهسرعت پیشرفت کرد. در سال ۱۹۸۹ اولین زنی بود که در شمار اعضای کلیدی آیبیام درآمد و در سال ۱۹۹۵ نیز به سمت رئیس آکادمی فناوری این شرکت انتخاب شد. جوایز و افتخارات
فرانسیس آلن در فوریه سال ۲۰۰۷ موفق شد جایزه تورینگ سال ۲۰۰۶ را از ایسیام دریافت کند. او اولین زنی است که توانسته این جایزه را کسب کند. او قول داد جایزه ۱۰۰هزار دلاری خود را صرف کمک به آموزش دختران در کشورهای درحالتوسعه کند. آلن در طی این سالها جوایز دیگری نیز دریافت کرده است که از آن جمله میتوان جایزه آنیتابرگ (Anita Borg) برای رهبری فنی را نام برد که در مراسم زنان درتکنولوژی سال ۲۰۰۴ به او اهدا شد. همچنین آلن در سال ۱۹۹۱ نیز موفق به دریافت دکترای افتخاری علوم از دانشگاه آلبرتا شد. فردریک بروکز
فردریک فیلیپس بروکز (به انگلیسی: Frederick Phillips Brooks) (زاده ۱۹ آوریل، ۱۹۳۱)، دانشمند آمریکایی علوم رایانه است. جان بکوس
جان وارنر بَکوس (به انگلیسی: John Warner Backus ) (زاده ۳ دسامبر ، ۱۹۲۴ (میلادی) - درگذشته ۱۷ مارس ، ۲۰۰۷ (میلادی)) دانشمند آمریکایی در زمینهٔ علم رایانه بود. او رهبری گروهی را به عهده داشت که اولین زبان برنامهنویسی سطح بالا (فرترن) را اختراع نمودند. او همچنین مخترع فرم بکوس-نائور (یا به اختصار BNF) نیز بود که تقریباً پراستفادهترین نمادگری برای تعریف نحو (Syntax) زبانهای صوری است. او در سال ۱۹۷۷ (میلادی) برای «مشارکتهای ژرف، تأثیرگذار، و ماندگارش برای طراحی سامانههای برنامهنویسی کاربردی سطح بالا، و خصوصاً بخاطر کار بر روی فرترن» و انتشار اولین مقالات در مورد شیوههای صوری برای توصیف زبانهای برنامهنویسی، جایزه تورینگ را دریافت کرد. کنت تامسون
کنت تامسون (Kenneth Thompson) زاده ۴ فوریه ۱۹۴۳ در نیواورلئان ایالت لوئیزیانا در آمریکا از دانشمندان در زمینه علوم رایانهای بود.وی بر روی برنامههای رایانهای و سیستم عامل یونیکس کار میکرد. ادسخر دیکسترا
ادسخر ویبه دیکسترا (به انگلیسی: Edsger Wybe Dijkstra ) (۱۱ مه ۱۹۳۰ - ۶ اوت ۲۰۰۲)، یک دانشمند هلندی علوم رایانه بوده است. وی در سال 1972 جایزه تورینگ را به خاطر کمک های بنیادین به پیش برد زبان های برنامه سازی دریافت کرد. دنیس ریچی
دنیس ریچی یک از دانشمندان علم رایانه است. وی در ۹ سپتامبر ۱۹۴۱ (میلادی) محله برونزویل شهر نیویورک به دنیا آمد. نام او بر روی کارهایی نظیر ALTRAN ٬ B ٬ BCPL ٬ زبان برنامه نویسی سی٬ و یونیکس وجود دارد. وی در دانشگاه هاروارد در رشته فیزیک مشغول به تحصیل شد و بعد از مدتی این رشته را رها کرد و در رشتهٔ ریاضی کاربردی مدرک لیسانس و فوق لیسانس خودرا گرفت وهمچنین دکترا.موضوع پایان نامهٔ دکترای او در سال ۱۹۶۸ در مورد تقسیمات سلسلهای توابع بود. وی در دوران تحصیل به این نتیجه رسیده بود که به رشتهٔ فیزیک علاقهای ندارد وبرای فیزیک دان شدن به اندازهٔ کافی با هوش نیست و کامپیوتر برای او جذابتر و راحتتر است. وی همانند پدرش در سال جذب شرکت بل شد. او در حین کار در شرکت در گیر پروژه Multics شده بود که میتوان آن رانسخهٔ اولیه سیستم عامل یونیکس نامید.تجربه کار بر روی این پروژه باعث شد که او و کنت تامسون نکتهها وایدههای فراوانی بدست آورند که نتیجهٔ آن در سیستم عامل یونیکس مشخص شد در حال حاضر به عنوان یک سرپرست در مرکز تحقیقات نرمافزاری شرکت لوسنت کار میکند. همانند ریچارد استالمن او را در دنیای اینترنت با یک نام مختصر و معروف میشناسند ٬ او به همراه کنت تامسون تقریباً اکثر مواقع در کنار هم نام برده میشوند «K&R» حتما متوجه شدید که حرف R از آن ریچی است. او هم به مانند همکار و دوست خود به نوشتن برنامههای بسیار زیبا معروف است. شاید خصوصیات روحی آن دو باعث شد تا همانند هم برنامه بنویسند و بتوانند به همراه هم پروژهای بزرگ را به مقصود برسانند. او هم برنامهنویسی را بهترین کار ممکن میداند. این دو دوست بهترین خاطره خود را نوشتن ۱۰۰۰ خط برنامه در یک روز میدانند. او بر روی پلن ۹ و زبان برنامهنویسی لیمبو هم کار کرد. استروس راپ طراح سی پلاس پلاس معتقد است که اگر او دههای از فعالیت خود را صرف ریاضیات و اهداف نامشخص نمیکرد شاید هنوز یونیکس تازهتر از همیشه میبود. به هر حال این دو کار بزرگی را انجام دادند که نقطه عطفی در تاریخ رایانه محسوب میشود. در حال حاضر زبان برنامهنویسی سی نقش فوقالعاده مهم و بنیادی برای بسیاری از برنامههای معروف و پروژههای بزرگ روز دنیا دارد. سیستمعاملها مانند لینوکس٬ سولاریس، بی اس دی٬ مک او اس٬ ویندوز و انواع متنوع دیگر. زبانهای برنامهنویسی مانند سی پلاس پلاس٬ سی شارپ٬ جاوا و جاوا اسکریپت و بسیاری دیگر. شاید باید گفت سیستمعاملهایی مانند ویندوز و لینوکس بدون آن به وجود نمیآمدند که این همه جنجال برانگیز شوند. دنیای نرمافزارهای آزاد کاملاً با پدران خود آشنا هستند. ریچی و تامسون به خاطر کاربر روی سیستم عامل یونیکس و مقالههایی که درباره آن منتشر کردند جایزههای بسیاری دریافت کردند: جایزه (IEEE Emmanuel Piore(۱۹۸۲ جایزه تورینگ ۱۹۸۳ جایزه سیستمهای نرم افزاری (ACM(۱۹۸۳ و مدال(IEEEHamming(۱۹۹۰. جوزف سیفاکیس
جوزف سیفاکیس (به یونانی : Ιωσήφ Σηφάκης) دانشمند برجسته یونانی - فرانسوی در زمینه علوم رایانه است . وی در سال ۲۰۰۷ میلادی به همراه همکارانش ادموند کلارک و آلن امرسون به خاطر کار بر روی گسترش مدل چکینگ برنده جایزه تورینگ شد . باربارا لیسکف
باربارا لیسکف (به انگلیسی: Barbara Liskov )، ( باربارا جِین هابرمن) زاده ۱۹۳۹، استاد علوم کامپیوتر است. او «استاد موسسه» (به انگلیسی: Institute Professor ) در دانشگاه امآیتی است که بالاترین درجه استادی در این دانشگاه به حساب میآید. در سال ۲۰۰۸ او دومین زنی است که جایزه تورینگ را دریافت کرده است. در سال ۲۰۰۴ نیز مدال جان فون نیومن را دریافت کرد. لیسکف زبان برنامهنویسی سیالیو و Argus را ابداع کرده، و همراه جانت ویگ اصل جانشینی لیسکف را اثبات کرده است. او نویسنده سه کتاب و صدها مقاله تخصصی است. جان مککارتی
جان مککارتی (به انگلیسی: John McCarthy) (زاده ۴ سپتامبر، ۱۹۲۷)، دانشمند آمریکایی علوم رایانه و علوم شناختی است. زندگینامه
پروفسور جان مککارتی در سال ۱۹۲۷ در بوستون متولد شد. وی درجه کارشناسی ارشد ریاضیات خود را در سال ۱۹۴۸ از موسسه فناوری کالیفرنیا دریافت کرد و با ادامه تحصیل در رشته ریاضیات، در سال ۱۹۵۱ مدرک دکترای خود را از دانشگاه پرینستون اخذ نمود. وی سپس با ادامه تحصیل و مطالعه در رشته علوم کامپیوتر، درجه استادی خود را از دانشگاه استنفورد در سال ۱۹۶۲ دریافت نمود و از سال ۱۹۶۵ تا ۱۹۸۰ سرپرستی آزمایشگاه هوش مصنوعی همان دانشگاه را عهدهدار بود. کار
در سال ۱۹۵۶، مککارتی با همکاری کلود شانون و ماروین مینسکی یک کارگاه آموزشی را با موضوع هوش مصنوعی برگزار میکند. پس از آنکه موضوع هوش مصنوعی بهطور جدی مطرح میگردد، مککارتی کار روی بازیهای هوشمندانه ماشینی را آغاز میکند و از حاصل این کار، زبان لیسپ پدیدار میگردد. افتخارات
جان مککارتی با انتشار صدها مقاله در حوزه کامپیوتر و هوش مصنوعی و انتشار کتاب «فرموله کردن احساسات عمومی» تاکنون جوایز و مدالهای متعددی را کسب کرده است. جایزه تورینگ، جایزه انجمن هوش مصنوعی آمریکا، جایزه پژوهش برگزیده در حوزه هوش مصنوعی، جایزه کیوتو و مدال ملی علوم از این جملهاند. وی همچنین عضو آکادمی علوم و هنر و آکادمی ملی مهندسی و آکادمی ملی علوم نیز میباشد. ماروین مینسکی
ماروین مینسکی (به انگلیسی: Marvin Lee Minsky) (تولد: ۹ اوت ۱۹۲۷ (میلادی) ) دانشمندی آمریکایی در حوزهٔ علوم شناخت است. ریچارد همینگ
ریچارد وسلی همینگ (به انگلیسی: Richard Wesley Hamming )، ریاضیدانی آمریکایی است که به خاطر خدماتش در نظریه اطلاعات (به ویژه در آشکارسازی و تصحیح خطا) و همچنین ارائه مفاهیمی از قبیل کد همینگ، فاصله همینگ و پنجره همینگ مشهور است. او سومین نفری است که مفتخر به دریافت جایزه تورینگ شده است. زندگینامه
ریچارد همینگ در سال ۱۹۱۵ در شیکاگو به دنیا آمد. او در ۲۲ سالگی مدرک لیسانس خود را از دانشگاه شیکاگو گرفت. سپس دو سال بعد از آن از دانشگاه نبراسکا فوق لیسانس گرفت و در نهایت بعد از سه سال دیگر یعنی در سن ۲۷ سالگی مدرک دکترای خود را از دانشگاه ایلینوی در اوربانا شامپاین دریافت کرد. او تمامی مدارک خود را در رشته ریاضیات گرفت. همینگ در سال ۱۹۴۵ در پروژه منهتن شروع به همکاری کرد. پروژهای دولتی که هدفش تولید بمب اتمی بود. با این که پروژه در دانشگاه کلمبیا در منهتن انجام میشد، اما همینگ در لسآلاموس روی پروژه کار میکرد. بعد از جنگ جهانی دوم، همینگ در سالهای ۱۹۴۶ تا ۱۹۷۶ در آزمایشگاههای بل مشغول به کار بود که در آنجا با کلاود شانون همکار بود. سپس همینگ به مدرسه عالی نیروی دریایی رفت تا بالاخره در سال ۱۹۹۷ بازنشسته شد. مقاله مشهور همینگ درباره آشکارسازی و تصحیح خطا در سال ۱۹۵۰ انتشار یافت. همچنین همینگ در سال ۱۹۵۶ روی IBM 360، یکی از ابتداییترین کامپیوترهای آیبیام کار میکرد که کار او منجر به توسعه زبان برنامهنویسی جدیدی شد. ریچارد همینگ در سال ۱۹۹۸، در مونتهری و در سن ۸۲ سالگی، بر اثر حمله قلبی درگذشت. جوایز و افتخارات
جایزه تورینگ از انجمن ماشینهای محاسب، ۱۹۶۸، برای فعالیتهایش در زمینههای آنالیز عددی، سیستمهای کددهی خودکار و کدهای آشکارسازی و تصحیح خطا.
عضویت در IEEE، ۱۹۶۸.
جایزه امانوئل پیوره از انجمن مهندسان برق و الکترونیک، ۱۹۷۹، برای فعالیت در پردازش اطلاعات.
عضویت در NAE، ۱۹۸۰.
جایزه هارولد پندر از دانشگاه پنسیلوانیا، ۱۹۸۱، برای فعالیت در نظریه کدگذاری.
مدال ریچارد همینگ از انجمن مهندسان برق و الکترونیک، ۱۹۸۸، به همراه جایزه ۱۰۰۰۰ دلاری.
عضویت در ACM، ۱۹۹۴.
جایزه ادوارد رین، ۱۹۹۶، به ارزش ۱۳۰۰۰۰ دلار. موریس ویلکس
موریس ویلکس (به انگلیسی: Maurice Wilkes)، دانشمند علم کامپیوتر است. جیمز ویلکینسون
جیمز هاردی ویلکینسون (به انگلیسی: James Hardy Wilkinson)، دانشمند برجسته در زمینه محاسبات عددی است. آلن پرلیس
آلن جی پرلیس (به انگلیسی: Alan Jay Perlis )، دانشمند آمریکایی در علم کامپیوتر، اولین فردی است که جایزه تورینگ را دریافت کردهاست. وی در مقطعی ریاست انجمن ماشینهای محاسب را عهدهدار بوده و خدمات بسیاری درپیشرفت زبانهای برنامهنویسی ارائه کردهاست.
زندگینامه
پرلیس در سال ۱۹۲۲ در پیتزبورگ در آمریکا به دنیا آمد. او دارای مدارک دانشگاهی متعددی است. پرلیس ابتدا در سال ۱۹۴۳ مدرک لیسانس شیمی را از دانشگاه کارنگی ملون اخذ کرد. در جنگ جهانی دوم در ارتش آمریکا خدمت کرد. از آنجا بود که به ریاضیات علاقهمند شد و در سال ۱۹۴۹ مدرک فوقلیسانس و در ۱۹۵٠ مدرک دکترا در ریاضیات را از دانشگاه امآیتی گرفت. سپس تا ژانویه ۱۹۵٢ به عنوان محقق ریاضی در آزمایشگاه تحقیقاتی بالیستیک استخدام شد و بعد به امآیتی بازگشت تا کار روی پروژهٔ گردباد را ادامه دهد. در اواخر همین سال اواستادیاری در دانشگاه پردیو را پذیرفت. در ۱۹۵٦ او به دانشگاه کارنگی برگشت و به سمتهای مدیر مرکز محاسبات و اولین رئیس دانشکده علوم کامپیوتر دانشگاه و نیز استاد ریاضیات در طول سالیان حضورش در کارنگی نایل آمد. پرلیس در سال ۱۹۷۱ از کارنگی به دانشگاه یل رفت و به جز یک سال که در دانشگاه کالیفرنیا بود، تا آخر عمر یعنی سال ۱۹۹۰ در یل ماند. پرلیس در تمام زندگی حرفهای خود، علاقهٔ اصلیاش زبانهای برنامهنویسی بود. وقتی او در پاردو بود، شروع به طراحی کامپایلر IT یا Internal Translator (مترجم درونی) کرد که بعدها کار خود را در کارنجی تکمیل کرد. در سال ۱۹۵۷ او با سمت رئیس کمیته زبانهای برنامهنویسی انجمن ماشینهای محاسب برای ایجاد یک زبان برنامهنویسی جهانی مشترک شروع به کار کرد و در سال ۱۹۵۸ در کنفرانسی در زوریخ الگول را معرفی کرد. الگول یک زبان نسل دوم است که به پاسکال منجر شد و کمک شایانی به پیشرفت زبانهای برنامهنویسی کرد. پرلیس از سال ۱۹۵۸ تا ۱۹۶۲ ویراستار نشریه Communications of the ACM (ارتباطات ایسیام) بود و از سال ۱۹۶۲ به مدت دو سال ریاست ACM (انجمن ماشینهای محاسب) را برعهده داشت. او به خاطر تأثیرش در شیوههای برنامهنویسی پیشرفته و ساختمان کامپایلر مفتخر به دریافت جایزه تورینگ در از سال ۱۹۶۶ گردید. در سال ۱۹۸۲ پرلیس مقالهای با عنوان Epigrams on Programming (نیشونوشهای برنامهنویسی) انتشار داد که تجربیاتش در زمینه برنامهنویسی را در عباراتی تکجملهای بیان میکرد که این مقاله مورد توجه قرار گرفت. ادگار کاد
ادگار کاد، ای اف کاد، تد کاد، از دانشمندان حوزه علوم رایانه است. وی خدمات ارزشمندی در این زمینه داشتهاست اما عمده شهرت او به دلیل ابداع مدل رابطهای است. زندگینامه
ای اف کاد در سال ۱۹۲۳ در انگلستان به دنیا آمد. و پس از پایان تحصیلات متوسطه در آکسفورد در شاخههای شیمی و ریاضی تحصیل کرد. در زمان جنگ جهانی دوم به عنوان خلبان در نیروی هوایی خدمت میکرد و سپس در سال ۱۹۴۸ به نیویورک رفت و به عنوان برنامه نویس در شرکت آی بی ام مشغول کار شد. وی پس از ادامه تحصیل در دانشگاه میشیگان و اخذ دانشنامه دکترا به مرکز تحقیقاتی سان خوزه (آی بی ام) منتقل شد. وی در سال ۱۹۸۰ از آی بی ام خارج شد. در دهه ۱۹۹۰ به دلیل ضعف جسمی تحقیقات خود را متوقف نمود و سرانجام در سال ۲۰۰۳ درگذشت. تحقیقات علمی
وی در دهه شصت بر روی سازماندهی دادهها کار میکرد و سرانجام در سال ۱۹۷۰ مقاله خود تحت عنوان "مدل رابطهای برای دادهها جهت پایگاه دادههای بزرگ و اشتراکی" را منتشر نمود. ابتدا به دلیل ضعیف بودن کامپیوترهای آن زمان و در نتیجه مشکلات پیاده سازی, اهمیت این مدل به خوبی درک نشد ولیکن به تدریج استقبال از آن افزایش یافت به گونهای که این مدل امروز پایه تمامی سامانه مدیریت پایگاه دادهها است. کار نیز در همین راستا فعالیت خود را ادامه داد. وی در مقاله اول جبر رابطهای را معرفی کرده بود و در مقالات بعدی حساب رابطهای و فرمهای نرمال را ارائه نمود. سیجی دیت از همکاران وی بود و در گسترش این مدل نقش به سزایی داشت و اکنون نیز در حال ارائه نظرات جدیر در خصوص این مدل است. وی میگوید: «یک تصور غلط در مورد مدل رابطهای این است که آن را کاملا ایستا فرض میکنند در حالی که چنین نیست. مدل رابطهای از این نظر شبیه ریاضیات است. ریاضیات هم ایستا نیست و در گذر زمان تغییر میکند. در حقیقت مدل رابطهای میتواند بعنوان شاخه کوچکی از ریاضیات در نظر گرفته شود. در طی زمان همواره قضایای جدیدی اثبات و نتایج جدیدی کشف میشوند و همیشه افراد شایسته در این روند مشارکت دارند. و باز هم مشابه ریاضیات، مدل رابطهای نیز توسط فردی ابداع شد که در زمره مردان کوشای این جهان بود. شاید نام وی را ندانید. او ایاف کـاد نام داشت و در آن زمان یکی از محققین آی بی ام بود. در اواخر سال ۱۹۶۸ کاد ریاضیدان کاربردی برای نخستین بار دریافت که قوانین ریاضی میتوانند برای تدوین قواعد پایگاه دادهها -که در آن زمان بسیار ناقص بودند- بهکار گرفته شوند. تدوین اصلی او از مدل رابطهای در گزارش تحقیقاتی آی بی ام در سال ۱۹۶۹ منتشر شد.» کاد در سال ۱۹۸۱ موفق به اخذ جایزه تورینگ شد. جایزهای که آن را معادل جایزه نوبل برای علم رایانه میدانند. دانلد کنوت
دانلد اروین کنوت (یا کنوث) (به انگلیسی: Donald Ervin Knuth) (زاده ۱۰ ژانویه، ۱۹۳۸) دانشمند علوم رایانه و استاد افتخاری در دانشگاه استانفورد در ایالت کالیفورنیای آمریکا است. شهرت کنوت بیش از هر چیز مربوط به نگارش مجموعه کتابهای هنر برنامهنویسی رایانه است که یکی از گرانبهاترین مراجع در زمینه علوم رایانه بهشمار میرود. او عملا پایهگذار رشته آنالیز الگوریتمها است و سهم فراوانی در گسترش مبانی نظری شاخههای گوناگون علوم رایانه داشته است. وی همچنین طراح سیستم حروفچینی تک TeX و سامانه طراحی حروف فراقلم (Metafont) و مطرح کننده مفهوم برنامهنویسی ادیبانه است. پژوهشها و فعالیتهای دانشگاهی
زادگاه وی شهر میلواکی در ویسکانسین است و دورههای کارشناسی و کارشناسی ارشد در رشته ریاضیات را تا ۱۹۶۰ در موسسه فناوری کیس گذراند. در ۱۹۶۳ دکترای خود در ریاضیات را از موسسه فناوری کالیفرنیا دریافت کرد. همان جا بود که به مقام استادی رسید و کار بر روی "هنر برنامهنویسی رایانه" را آغاز کرد، کتابی که قرار است در هفت جلد منتشر شود. او در ۱۹۶۸، سالی که به دانشگاه استانفورد پیوست، نخستین جلد این مجموعه را منتشر کرد. در ۱۹۷۱ کنوت برنده نخستین دوره جایزه گریس موری هاپر شد. او جوایز بسیار دیگری را نیز به خود اختصاص داده است از جمله جایزه تورینگ، نشان ملی علوم، نشان جان فوننویمان و جایزه کیوتو. پس از انتشار سومین جلد مجوعهاش در سال ۱۹۷۶ و در اثر نارضایتی از محدودیتهای ابزارهای رایج حروفچینی و نشر به پایه ریزی سامانههای تک و فراقلم مشغول شد. برای قدردانی از فعالیتها و کمکهای کنوت به علوم رایانه، لقب منحصربه فرد "استاد در هنر برنامهنویسی رایانه" در سال ۱۹۹۰ به وی اهدا شد. این لقب از آن پس "استاد افتخاری در هنر برنامهنویسی رایانه" خوانده میشود. (Professor Emeritus of the Art of Computer Programming) او در ۱۹۹۲ به عضویت فرهنگستان علوم فرانسه در آمد و همان سال نیز برای کار روی "هنر برنامهنویسی رایانه" پژوهشهای معمول و تدریس در دانشگاه استانفورد را رها کرد. در سال ۲۰۰۳ وی به اعضای انجمن سلطنتی لندن پیوست. سال ۲۰۰۴، سال بازچاپ سه جلد نخست مجوعهاش بود در حالی که کنوت هم اکنون روی جلد چهارم کار میکند و به طور مرتب بخشهایی از آن را روی وبگاه شخصیاش منتشر میکند. همزمان، کنوت، چندین بار در سال، سخنرانیهایی غیر رسمی در دانشگاه استانفورد ارائه میدهد که آنها را "تعمقی در رایانه" مینامد. نکات کوچکتر
کنوت برنامهنویس مشهوری است که به شوخ طبعیهای بازیگوشانهاش معروف است:
او به هرکسی که در کتابهایش اشتباه یا هر ایراد چاپی پیدا کند دو دلار و پنجاه و شش سنت (۲.۵۶) مژدگانی میدهد چون "۲۵۶ سنت برابر یک دلار در مبنای شانزده است." (این جایزه برای ایرادات کتاب "۳:۱۶ درک متون کتاب مقدس" سه دلار و شانزده سنت است.)
شماره نسخههای نرمافزار تک او به عدد π میل میکند، یعنی شماره نسخهها با ترتیب ۳، ۳.۱، ۳.۱۴ و مانند آن افزایش پیدا میکند. شماره نسخههای فراقلم به عدد e میل میکند.
او یک بار به استفاده کنندگان نرم افزارش هشدار داد: "مراقب اشکالات کد این برنامه باشید؛ من نشان دادهام که برنامه درست کار میکند، اما آن را امتحان نکردهام."
علاوه بر نوشتههایش در زمینه علوم رایانه، کنوت همچنین نویسنده۳:۱۶ روشنگری متون انجیل که در آن او کتاب مقدس را طی فرآیند "نمونه برداری تصادفی طبقهبندی شده" بررسی میکند، یا به طور دقیقتر، او هر بند شماره ۱۶ از هر بخش با شماره ۳ هر کتاب را مطالعه میکند. او هر بند را با نمونه خطاطی شده آن همراه کرده است، که حاصل تلاش داوطلبانه گروهی از خوشنویسان زیر نظر هرمان زاف است.
کنوت نخستین نوشتار علمیاش به نام "سامانه پاتچبی (Potrzebie) برای وزنها و دیگر میزانها" را در یک مجله مدرسهای در ۱۹۵۷ منتشر کرد و در آن واحد طول را ضخامت شماره ۲۶ مجله MAD تعریف کرد و نام واحد نیرو را نیز "whatmeworry" ("نگرانم میکنه") نامید. مجله MAD مقاله را خرید و در نسخه ژوئن ۱۹۵۷ خود منتشر کرد. زندگی شخصی
از سرگرمیهای کنوت موسیقی و به ویژه نواختن ارگ کلیسا است. او یک ارغنون لولهای در منزل خود نصب کرده است و با این همه داشتن هر استعدادی در نواختن این ساز را انکار میکند. او از پست الکترونیکی استفاده نمیکند، زیرا به گفته خودش آن را از ۱۹۷۵ تا اول ژانویه ۱۹۹۰ به کار برده که برای یک عمر کافی است. در عوض مکاتبه فلّهای را موثرتر میداند یعنی استفاده از پست سنتی هر چند ماه یکبار. همسر او جیل کنوت است که کتابی با عنوان بیرقهای بینوشته در مورد طرح بیرقهای متفاوتی که در مراسم مذهبی مسیحیان در کلیسا استفاده میشود را در سال ۱۹۸۶ منتشر کرده است. این زوج دو فرزند دارند. استفن کوک
استفن آرتور کوک (به انگلیسی: Stephen Arthur Cook) (زاده ۱۴ دسامبر، ۱۹۳۹)، دانشمند آمریکایی علوم رایانه است.
|
