29 مرداد 1391, 08:50 ب.ظ
من خودم خیلی به تاریخچه علم کامپیوتر علاقه دارم و همیشه دنبال این بودم که بینم چه کسایی خدمت بزرگی به علم کامپیوتر کردن و زمینه تحقیقاتی هر کدوم از این افراد چی بوده. یک لیست از بعضی از دانشمندان علم کامپیوتر قرار میدم با یک سری توضیحات در مورد هر کدوم (این لیست کاملا براساس سلیقه خودم بوده و طبیعتا افراد زیادی میتونن تو این لیست قرار بگیرن مثلا اسم اَلن تورینگ رو نیاوردم چون دیگه همه میشناسنش).
رابرت تارژان (Robert E. Tarjan): رابرت تارژان لیسانس رو از انستیتو تکنولوژی کالیفرنیا گرفته و فوق لیسانس و دکتراش رو از دانشگاه استنفورد. زمینه تحقیقاتی رابرت تارژان الگوریتم ها (خصوصا الگوریتم های گراف)، ساختمان داده ها و داده کاوی هستش. الگوریتم کارا برای تست مسطح بودن گراف، ساختار داده فیبوناچی هیپ و درختهای Splay هم از کارهای رابرت تارژان هستش ( به همراه افراد دیگه بعضی از این کارهارو انجام داده). رابرت تارژان جایزه تورینگ رو به همراه جان هاپکرافت در سال ۱۹۸۶ برده و دلیلش هم کارهای مفید این دو نفر در زمینه طراحی الگوریتم و ساختمان داده بوده. تعداد publication هاش حدودا ۴۰۰ تا است و citationاش حدودا ۲۹۰۰۰ هستش! (فوق العاده است)
دونالد کانوث (Donald E. Knuth): دونالد کانوث لیسانس و فوق لیسانس ریاضی رو با هم و از انستیتو تکنولوژی کالیفرنیا گرفت! دکترا خودش رو هم تو رشته ریاضی از همون انستیتو تکنولوژی کالیفرنیا گرفت. زمینه تحقیقاتیش الگوریتم ها و ریاضیات گسسته است. یه جورایی میشه گفت بابای طراحی الگوریتم همین آقا هستش! کتابی هم که نوشته، یعنی The Art of Computer Programming، بابای کتابای طراحی الگوریتم هستش. یک کتاب در مورد ریاضیات گسسته هم داره. از جمله کارهاش میشه به این موارد اشاره کرد:یکی از مبدعین الگوریتم KMP بوده، روش های پارسینگ LR رو کشف کرده، سیستم حروفچینی TeX رو ایجاد کرده و سه نقطه. جایزه تورینگ رو در سال ۱۹۷۴ برنده شده. افرادی مثل واگان پرات (Vaughan Pratt) و رابرت سدگویک (Robert Sedgewick) از دانشجوی دکترای دونالد کانوث بودن. دیگه خودتون ببینید این آدم کیه که دانشجوهای دکتراش چنین افرادی بودن. حدودا ۳۰۰ تا publication داره و citationاش هم تقریبا ۲۴۰۰۰ هستش.
استفن کوک (Stephen Cook): لیسانس رو از دانشگاه میشیگان گرفت و فوق و دکتراش رو از دانشگاه هاروارد. در زمینه پیچیدگی محاسبات تحقیقاتش رو انجام میده. احتمالا باید اسم ارضاع پذیری (SAT) و قضیه ای با نام قضیه کوک رو شنیده باشید. کوک برای اولین بار نشون داد که مسئله ارضاع پذیری (SAT) یک مسئله NP-Complete هستش و نشون داد که هر مسئله NP رو میشه به مسئله SAT کاهش داد. کوک در سال ۱۹۸۲ جایزه تورینگ رو دریافت کرد. تعداد publication برابر با ۲۳۳ و citation برابر با ۶۸۴۶.
لسلی لمپورت ( Leslie Lamport): لیسانس و فوق لیسانس رو در رشته ریاضی و از ام آی تی گرفت. دکتراش رو هم از دانشگاه Brandies گرفته.زمینه های تحقیقاتیش سیستم های توزیع شده، زبانهای برنامه نویسی و طراحی الگوریتم هستند. تو زمینه سیستم های حروف چینی هم کار کرده و LaTeX رو ایجاد کرده. الگوریتم نانوایی تو بحث همزمانی هم که دیگه خیلی معروفه. تعداد publication برابر با ۲۵۸ و citation تقریبا برابر با ۲۴۷۰۰
اَلن کی (Alan C. Kay): لیسانس خودش رو در رشته ریاضی و از دانشگاه کولورادو گرفت و فوق لیسانس و دکتراش رو از دانشگاه یوتا. بیشتر کاراش رو در زمینه زبان های برنامه نویسی، مهندسی نرم افزار و تعامل انسان و کامپیوتر انجام داده. دو تا کار انجام داده که خیلی معروف هستن. یکی ابداع بحث شی گرایی و یکی دیگه ابداع رابط کاربر گرافیکی(GUI). (قابل توجه کسایی که شاید فکر کنن استیو جابز رابط کاربر گرافیکی رو ابداع کرده). الن کی در سال ۲۰۰۳ جایزه تورینگ رو برنده شد و دلیلش هم کارهای اون در زمینه شی گرایی بوده.
مایکل رابین (Machael O. Rabin): زمینه تحقیقاتیش بحث منطق و پیچیدگی محاسبان بوده.یکی از کارای خیلی بزرگش معرفی همین ماشین های متناهی قطعی و غیر قطعی بوده. تورینگ رو هم برده.
جان مک کارتی (John McCarthy): به عنوان پدر هوش مصنوعی شناخته میشه. اولین بار مک کارتی بود که عبارت "هوش مصنوعی" رو به کار برد و از اون به بعد این اصطلاح رایج شد. لیسانس خودش رو از Caltech گرفت و دکتراش رو از دانشگاه پرینستون. تمام کارهاش در زمینه هوش مصنوعی انجام داده و بعضی از کارهاش عبارت اند از: پایه گذار علم هوش مصنوعی، عضو تیم طراحی زبان ALGOL، خالق زبان LISP ( مخفف عبارت LISt Processing) و سه نقطه. مک کارتی سال ۱۹۷۱ جایزه تورینگ رو برد. تعداد publication برابر با ۳۰۹ و تعداد citation برابر با ۱۱۴۲۱.
داگلاس لنات (Douglas B. Lenat): لیسانس و فوق لیسانس خودش رو تو رشته ریاضی از دانشگاه پنسیلوانیا گرفت. دکتراش رو از استنفورد گرفت و استاد راهنمای دکتراش ادوارد فایگنبام (Edward Feigenbaum) بوده. زمینه کلی تحقیقاتیش هوش مصنوعی هستش و بیشتر تو زمینه یادگیری ماشین و بازشناسی الگو کار می کنه. یک پروژه معروف به نام سایک (Cyc) هم داره و هدف از این پروژه این هستش که یک کامپیوتر بتونه مثل یک انسان استدلال انجام بده (
مهمان عزیز شما قادر به مشاهده پیوندهای انجمن مانشت نمیباشید. جهت مشاهده پیوندها ثبت نام کنید.
).
رابرت تارژان (Robert E. Tarjan): رابرت تارژان لیسانس رو از انستیتو تکنولوژی کالیفرنیا گرفته و فوق لیسانس و دکتراش رو از دانشگاه استنفورد. زمینه تحقیقاتی رابرت تارژان الگوریتم ها (خصوصا الگوریتم های گراف)، ساختمان داده ها و داده کاوی هستش. الگوریتم کارا برای تست مسطح بودن گراف، ساختار داده فیبوناچی هیپ و درختهای Splay هم از کارهای رابرت تارژان هستش ( به همراه افراد دیگه بعضی از این کارهارو انجام داده). رابرت تارژان جایزه تورینگ رو به همراه جان هاپکرافت در سال ۱۹۸۶ برده و دلیلش هم کارهای مفید این دو نفر در زمینه طراحی الگوریتم و ساختمان داده بوده. تعداد publication هاش حدودا ۴۰۰ تا است و citationاش حدودا ۲۹۰۰۰ هستش! (فوق العاده است)
دونالد کانوث (Donald E. Knuth): دونالد کانوث لیسانس و فوق لیسانس ریاضی رو با هم و از انستیتو تکنولوژی کالیفرنیا گرفت! دکترا خودش رو هم تو رشته ریاضی از همون انستیتو تکنولوژی کالیفرنیا گرفت. زمینه تحقیقاتیش الگوریتم ها و ریاضیات گسسته است. یه جورایی میشه گفت بابای طراحی الگوریتم همین آقا هستش! کتابی هم که نوشته، یعنی The Art of Computer Programming، بابای کتابای طراحی الگوریتم هستش. یک کتاب در مورد ریاضیات گسسته هم داره. از جمله کارهاش میشه به این موارد اشاره کرد:یکی از مبدعین الگوریتم KMP بوده، روش های پارسینگ LR رو کشف کرده، سیستم حروفچینی TeX رو ایجاد کرده و سه نقطه. جایزه تورینگ رو در سال ۱۹۷۴ برنده شده. افرادی مثل واگان پرات (Vaughan Pratt) و رابرت سدگویک (Robert Sedgewick) از دانشجوی دکترای دونالد کانوث بودن. دیگه خودتون ببینید این آدم کیه که دانشجوهای دکتراش چنین افرادی بودن. حدودا ۳۰۰ تا publication داره و citationاش هم تقریبا ۲۴۰۰۰ هستش.
استفن کوک (Stephen Cook): لیسانس رو از دانشگاه میشیگان گرفت و فوق و دکتراش رو از دانشگاه هاروارد. در زمینه پیچیدگی محاسبات تحقیقاتش رو انجام میده. احتمالا باید اسم ارضاع پذیری (SAT) و قضیه ای با نام قضیه کوک رو شنیده باشید. کوک برای اولین بار نشون داد که مسئله ارضاع پذیری (SAT) یک مسئله NP-Complete هستش و نشون داد که هر مسئله NP رو میشه به مسئله SAT کاهش داد. کوک در سال ۱۹۸۲ جایزه تورینگ رو دریافت کرد. تعداد publication برابر با ۲۳۳ و citation برابر با ۶۸۴۶.
لسلی لمپورت ( Leslie Lamport): لیسانس و فوق لیسانس رو در رشته ریاضی و از ام آی تی گرفت. دکتراش رو هم از دانشگاه Brandies گرفته.زمینه های تحقیقاتیش سیستم های توزیع شده، زبانهای برنامه نویسی و طراحی الگوریتم هستند. تو زمینه سیستم های حروف چینی هم کار کرده و LaTeX رو ایجاد کرده. الگوریتم نانوایی تو بحث همزمانی هم که دیگه خیلی معروفه. تعداد publication برابر با ۲۵۸ و citation تقریبا برابر با ۲۴۷۰۰
اَلن کی (Alan C. Kay): لیسانس خودش رو در رشته ریاضی و از دانشگاه کولورادو گرفت و فوق لیسانس و دکتراش رو از دانشگاه یوتا. بیشتر کاراش رو در زمینه زبان های برنامه نویسی، مهندسی نرم افزار و تعامل انسان و کامپیوتر انجام داده. دو تا کار انجام داده که خیلی معروف هستن. یکی ابداع بحث شی گرایی و یکی دیگه ابداع رابط کاربر گرافیکی(GUI). (قابل توجه کسایی که شاید فکر کنن استیو جابز رابط کاربر گرافیکی رو ابداع کرده). الن کی در سال ۲۰۰۳ جایزه تورینگ رو برنده شد و دلیلش هم کارهای اون در زمینه شی گرایی بوده.
مایکل رابین (Machael O. Rabin): زمینه تحقیقاتیش بحث منطق و پیچیدگی محاسبان بوده.یکی از کارای خیلی بزرگش معرفی همین ماشین های متناهی قطعی و غیر قطعی بوده. تورینگ رو هم برده.
جان مک کارتی (John McCarthy): به عنوان پدر هوش مصنوعی شناخته میشه. اولین بار مک کارتی بود که عبارت "هوش مصنوعی" رو به کار برد و از اون به بعد این اصطلاح رایج شد. لیسانس خودش رو از Caltech گرفت و دکتراش رو از دانشگاه پرینستون. تمام کارهاش در زمینه هوش مصنوعی انجام داده و بعضی از کارهاش عبارت اند از: پایه گذار علم هوش مصنوعی، عضو تیم طراحی زبان ALGOL، خالق زبان LISP ( مخفف عبارت LISt Processing) و سه نقطه. مک کارتی سال ۱۹۷۱ جایزه تورینگ رو برد. تعداد publication برابر با ۳۰۹ و تعداد citation برابر با ۱۱۴۲۱.
داگلاس لنات (Douglas B. Lenat): لیسانس و فوق لیسانس خودش رو تو رشته ریاضی از دانشگاه پنسیلوانیا گرفت. دکتراش رو از استنفورد گرفت و استاد راهنمای دکتراش ادوارد فایگنبام (Edward Feigenbaum) بوده. زمینه کلی تحقیقاتیش هوش مصنوعی هستش و بیشتر تو زمینه یادگیری ماشین و بازشناسی الگو کار می کنه. یک پروژه معروف به نام سایک (Cyc) هم داره و هدف از این پروژه این هستش که یک کامپیوتر بتونه مثل یک انسان استدلال انجام بده (
مهمان عزیز شما قادر به مشاهده پیوندهای انجمن مانشت نمیباشید. جهت مشاهده پیوندها ثبت نام کنید.
).