آلفرد آهو

از ویکیپدیا، دانشنامه آزاد
پرش به ناوبری پرش به جستجو

آلفرد آهو
بدنیا آمدن
آلفرد واینو آهو

( 1941-08-09 )9 اوت 1941 (80 سالگی)
ملیتکانادایی
آمریکایی
آلما مادر
شناخته شده برای
جوایز
حرفه علمی
زمینه هایعلوم کامپیوتر
موسساتدانشگاه کلمبیا
پایان نامهگرامرهای نمایه شده: بسط گرامرهای آزاد زمینه  (1968)
مشاور دکتریجان هاپکرافت [1]

آلفرد واینو آهو (زاده ۹ اوت ۱۹۴۱) دانشمند کامپیوتر کانادایی است که بیشتر به خاطر کارش بر روی زبان‌های برنامه‌نویسی ، کامپایلرها و الگوریتم‌های مرتبط و کتاب‌های درسی‌اش در زمینه هنر و علم برنامه‌نویسی کامپیوتری شهرت دارد. [2] [3] [4]

آهو در سال 1999 به دلیل مشارکت در زمینه های الگوریتم ها و ابزارهای برنامه نویسی به عضویت آکادمی ملی مهندسی انتخاب شد.

او و همکار دیرینه‌اش جفری اولمن دریافت‌کنندگان جایزه تورینگ 2020 هستند که عموماً به‌عنوان بالاترین ممتاز در علم کامپیوتر شناخته می‌شود . [5]

شغل

آهو مدرک BASc را دریافت کرد. (1963) در فیزیک مهندسی از دانشگاه تورنتو ، سپس کارشناسی ارشد (1965) و دکترا. (1967) در رشته مهندسی برق/علوم کامپیوتر از دانشگاه پرینستون . [6] او از سال 1967 تا 1991 در آزمایشگاه بل تحقیقاتی انجام داد و مجدداً از سال 1997 تا 2002 به عنوان معاون رئیس مرکز تحقیقات علوم محاسباتی. [7] از سال 1995، او دارای مدرک استادی لارنس گاسمن در علوم کامپیوتر در دانشگاه کلمبیا است . او از سال 1995 تا 1997 به عنوان رئیس این بخش و دوباره در بهار 2003 خدمت کرد. [8]

آهو در پایان نامه دکترای خود گرامرهای نمایه شده [9] و خودکار پشته تودرتو [10] را به عنوان ابزاری برای گسترش قدرت زبان های بدون زمینه ایجاد کرد ، اما بسیاری از ویژگی های تصمیم پذیری و بسته شدن آنها را حفظ کردند. یکی از کاربردهای گرامرهای نمایه‌سازی شده، مدل‌سازی سیستم‌های بازنویسی موازی است، [11] به‌ویژه در کاربردهای بیولوژیکی. [12]

پس از فارغ‌التحصیلی از پرینستون، آهو به مرکز تحقیقات علوم محاسباتی در آزمایشگاه‌های بل پیوست و در آنجا الگوریتم‌های بیان منظم کارآمد و تطبیق الگوریتم‌های رشته‌ای را ابداع کرد که در اولین نسخه‌های ابزارهای یونیکسegrep و fgrep. این fgrepالگوریتم به الگوریتم Aho-Corasick معروف شده است . این سیستم توسط چندین سیستم جستجوی کتابشناختی، از جمله سیستمی که توسط Margaret J. Corasick توسعه یافته است ، و سایر برنامه های کاربردی جستجوی رشته ای استفاده می شود. [13]

در آزمایشگاه بل، آهو از نزدیک با استیو جانسون و جفری اولمن برای توسعه الگوریتم‌های کارآمد برای تجزیه و تحلیل و ترجمه زبان‌های برنامه‌نویسی همکاری کرد. [14] استیو جانسون از الگوریتم‌های تجزیه LALR پایین به بالا برای ایجاد مولد تحلیل نحوی yacc استفاده کرد ، [15] و مایکل ای. لسک و اریک اشمیت از الگوریتم‌های تطبیق الگوی بیان منظم آهو برای ایجاد lex ژنراتور تحلیل‌گر واژگانی استفاده کردند. . [16] ابزارهای lex و yacc و مشتقات آنها برای توسعه قسمت‌های جلویی بسیاری از کامپایلرهای زبان برنامه‌نویسی امروزی استفاده شده‌اند. [17]

آهو و اولمن مجموعه ای از کتاب های درسی در مورد تکنیک های گردآوری نوشتند که تئوری مربوط به طراحی کامپایلر را مدون کرد. کتاب درسی آنها در سال 1977 اصول طراحی کامپایلر دارای یک اژدهای سبز رنگ بر روی جلد بود و به "کتاب اژدهای سبز" معروف شد. در سال 1986 آهو و اولمان توسط راوی ستی همراه شدند تا نسخه جدیدی به نام "کتاب اژدهای قرمز" (که به طور خلاصه در فیلم هکرها در سال 1995 نمایش داده شد ) و در سال 2006 نیز توسط مونیکا لام برای ایجاد " کتاب اژدهای بنفش " ایجاد شود. از کتاب های اژدها برای دوره های دانشگاهی و همچنین مراجع صنعتی استفاده می شود. [18]

در سال 1974، آهو، جان هاپکرافت و اولمن، طراحی و تحلیل الگوریتم‌های کامپیوتری را نوشتند و برخی از تحقیقات اولیه خود را در مورد الگوریتم‌ها مدون کردند. این کتاب برای چندین دهه به یکی از پراستنادترین کتاب ها در علوم کامپیوتر تبدیل شد و به تحریک ایجاد الگوریتم ها و ساختارهای داده به عنوان یک درس مرکزی در برنامه درسی علوم کامپیوتر کمک کرد. [19]

آهو همچنین به‌خاطر نویسندگی مشترک زبان برنامه‌نویسی AWK با پیتر جی واینبرگر و برایان کرنیگان (A مخفف Aho) شناخته شده است. [20] از سال 2010 علایق تحقیقاتی Aho شامل زبان های برنامه نویسی، کامپایلرها، الگوریتم ها و محاسبات کوانتومی است . او بخشی از گروه تحقیقاتی زبان و کامپایلر در دانشگاه کلمبیا است. [21]

به طور کلی، آثار او 81040 بار مورد استناد قرار گرفته اند و تا 8 می 2019 دارای h-index 66 است. [22]

آهو افتخارات معتبر زیادی از جمله مدال جان فون نویمان IEEE و عضویت در آکادمی ملی مهندسی دریافت کرده است. او در سال 2003 به عنوان عضو آکادمی هنر و علوم آمریکا انتخاب شد. [23] او دارای دکترای افتخاری از دانشگاه واترلو ، [24] از دانشگاه هلسینکی ، [24] و از دانشگاه تورنتو است. [25] او عضو انجمن آمریکایی برای پیشرفت علم ، ACM ، آزمایشگاه های بل ، و IEEE است.. [19]

آهو دو بار به عنوان رئیس کمیته مشورتی مدیریت مهندسی و علوم کامپیوتر و اطلاعات بنیاد ملی علوم خدمت کرده است. او رئیس قبلی گروه علاقه ویژه ACM در الگوریتم ها و نظریه محاسباتی است . [26] آهو، هاپکرافت و اولمن از دریافت کنندگان جایزه C&C 2017 بودند که توسط شرکت NEC اعطا شد . [ 27] او و اولمان در 31 مارس 2021 به عنوان دریافت کنندگان جایزه تورینگ 2020 معرفی شدند.

تدریس

آهو از سال 1995 در دانشگاه کلمبیا در شهر نیویورک تدریس کرده است. او در سال 2003 برنده جایزه معلم بزرگ از سوی انجمن فارغ التحصیلان کلمبیا شد. [28]

کتابها

  • AV Aho و JD Ullman ، Theory of Parsing, Translation, and Compiling, Vol. 1، تجزیه. پرنتیس هال، 1972. ISBN  0-13-914556-7
  • AV Aho (ed.) Currents in the Theory of Computing. پرنتیس هال، 1973. ISBN 0-13-195651-5 [29] 
  • AV Aho و JD Ullman ، Theory of Parsing, Translation, and Compiling, Vol. 2، تالیف. Prentice-Hall, 1973. ISBN 978-0-13-914564-3 
  • AV Aho, JE Hopcroft , JD Ullman , The Design and Analysis of Computer Algorithms. Addison-Wesley, 1974. ISBN 0-201-00023-7 
  • AV Aho و JD Ullman ، اصول طراحی کامپایلر. Addison-Wesley, 1977. ISBN 0-201-00022-9 
  • AV Aho، JE Hopcroft ، JD Ullman ، ساختارهای داده و الگوریتم‌ها. ادیسون-وسلی، 1983. ISBN 0-201-00023-7 
  • AV Aho، R. Sethi ، JD Ullman ، Compilers: Principles, Techniques, and Tools . Addison-Wesley, Reading MA 1986. ISBN 0-201-10088-6 
  • AV Aho، BW Kernighan ، و PJ Weinberger ، زبان برنامه نویسی AWK. Addison-Wesley, 1988. ISBN 978-0-201-07981-4 
  • AV Aho و JD Ullman ، مبانی علوم کامپیوتر . WH Freeman/Computer Science Press, 1992. ISBN 978-0-7167-8233-9 [30] [31] 
  • AV Aho، MS Lam ، R. Sethi ، و JD Ullman ، Compilers: Principles, Techniques, and Tools ، ویرایش دوم. ادیسون-وسلی، 2007. ISBN 978-0-321-48681-3 

منابع

  1. آلفرد واینو آهو در پروژه تبارشناسی ریاضیات
  2. ^ آهو، ا . گوتلاب، جی (2014). "صندلی ردیف اول برای تحول تحریریه ارتباطات ". ارتباطات ACM . 57 (4): 5. doi : 10.1145/2582611 . S2CID 21553189 . 
  3. ^ آهو، AV (1990). "الگوریتم های یافتن الگوها در رشته ها". جزوه علوم نظری کامپیوتر . مطبوعات MIT. صص 255–300.
  4. ^ مصاحبه از Computer World با آلفرد V. از Aho آرشیو ماه مه 29، 2008، در پایگاه Wayback Machine
  5. ^ a b جایزه ACM Turing از مبتکرانی که پایه های کامپایلرها و الگوریتم های زبان برنامه نویسی را شکل دادند، تجلیل می کند . بازبینی شده در 31 مارس 2021.
  6. ^ "ایجاد برنامه های قابل اعتماد از برنامه نویسان غیرقابل اعتماد" (PDF) . Excellentia .
  7. فیچارد، کوین (31 مارس 2021). «آل آهو و جفری اولمان از آزمایشگاه‌های بل با جایزه معتبر تورینگ تجلیل شدند» . نوکیا آزمایشگاههای بل . بازبینی شده در 3 آوریل 2021 .{{cite web}}: CS1 maint: url-status ( پیوند )
  8. «نمایه و دستاوردهای تفصیلی گروه B دریافت کنندگان جایزه C&C 2017» (PDF) . NEC C & C بنیاد . {{cite web}}: CS1 maint: url-status ( پیوند )
  9. ^ آهو، AV (1968). "گرامرهای نمایه شده - بسط گرامرهای بدون زمینه". مجله ACM . 15 (4): 647-671. doi : 10.1145/321479.321488 . S2CID 9539666 . 
  10. ^ آهو، AV (1969). «تودرتوی پشته خودکار». مجله ACM . 16 (3): 383-406. doi : 10.1145/321526.321529 . S2CID 685569 . 
  11. ^ رامبو، اوون؛ ساتا، جورجیو (28 ژوئیه 1999). "موازی سازی مستقل در سیستم های بازنویسی موازی کپی محدود" . علوم کامپیوتر نظری . 223 (1-2): 87-120. doi : 10.1016/S0304-3975(97)00190-4 . ISSN 0304-3975 . 
  12. ^ کولیک، کارل؛ Maibaum، TSE (1974). لوککس، ژاک (ویرایش). "سیستم های بازنویسی موازی بر اساس شرایط" . خودکار، زبان ها و برنامه نویسی . نکات سخنرانی در علوم کامپیوتر. برلین، هایدلبرگ: اسپرینگر. 14 : 495-510. doi : 10.1007/978-3-662-21545-6_38 . شابک 978-3-662-21545-6.
  13. ^ آهو، آلفرد وی. کوراسیک، مارگارت جی (ژوئن 1975). "تطبیق کارآمد رشته: کمکی به جستجوی کتابشناختی". ارتباطات ACM . 18 (6): 333-340. doi : 10.1145/360825.360855 . S2CID 207735784 . 
  14. ^ آهو، AV; جانسون، SC; اولمن، جی دی (1977). "تولید کد برای عبارات با عبارات فرعی رایج". مجله ACM . 24 : 146-160. doi : 10.1145/321992.322001 . S2CID 2614214 . 
  15. موریس، ریچارد (1 اکتبر 2009). "استیون کرتیس جانسون: گیک هفته" . نرم افزار Red Gate . بازیابی شده در 19 ژانویه 2018 .
  16. ^ لسک، من; اشمیت، ای. "Lex – یک ژنراتور تحلیلگر واژگانی" . بازبینی شده در 16 اوت 2010 .
  17. ^ لوین، جان آر . میسون، تونی؛ براون، داگ (1992). lex & yacc (2 ویرایش). اوریلی . صص  1-2 . شابک 1-56592-000-7.
  18. «DYOL: Design Your Own Language — Corpus — Dragon Books — Purple Dragon» . slebok.github.io . بازبینی شده در 3 آوریل 2021 .
  19. ^ a b ایباراکی، استفان . "جفری اولمن و آلفرد آهو، دریافت کنندگان جایزه ACM AMTuring 2020" . forbes.com _ بازبینی شده در 3 آوریل 2021 .
  20. ^ آهو، AV; Kernighan، BW; واینبرگر، پی جی (1979). "Awk - زبان اسکن و پردازش الگو". نرم افزار: تمرین و تجربه . 9 (4): 267. CiteSeerX 10.1.1.80.4787 . doi : 10.1002/spe.4380090403 . S2CID 29399630 .  
  21. ^ http://landc.cs.columbia.edu/
  22. «سوابق محقق گوگل برای آلفرد آهو» .
  23. «کتاب اعضا، 1780–2010: فصل الف» (PDF) . آکادمی هنر و علوم آمریکا. بایگانی شده (PDF) از نسخه اصلی در 10 مه 2011 . بازیابی شده در 6 آوریل 2011 .
  24. ^ a b "DLS – Alfred Aho" . دانشکده علوم کامپیوتر Cheriton . 16 فوریه 2017 . بازبینی شده در 3 آوریل 2021 .
  25. ^ انجام بده، لیز. ""جایزه نوبل محاسبات:" یکی از فارغ التحصیلان رشته مهندسی T آلفرد آهو جایزه AM Turing را دریافت کرد. utoronto.ca . بازیابی شده در 3 آوریل 2021 .
  26. «سرکوب مختصر اثبات خشم در آمریکا» . نیویورک تایمز . 17 فوریه 1987 . بازیابی شده در 10 نوامبر 2015 – از طریق سافاری.
  27. «مراسم جایزه C&C 2017» . بنیاد C&C NEC . بازبینی شده در 3 آوریل 2021 .{{cite web}}: CS1 maint: url-status ( پیوند )
  28. «ساعت: دانشمند کامپیوتر آلفرد آهو» . بنیاد سیمونز . 18 جولای 2013 . بازبینی شده در 3 آوریل 2021 .
  29. ^ جریانات در نظریه محاسبات، ویرایش شده توسط آلفرد وی آهو. نویسندگان مشارکت کننده: رونالد وی. کتاب [و دیگران] . worldcat.org . OCLC 976868524 . بازیابی شده در 1 آوریل 2021 . 
  30. ^ مبانی علوم کامپیوتر . worldcat.org _ OCLC 24669768 . بازیابی شده در 1 آوریل 2021 . 
  31. «مبانی علوم کامپیوتر» . worldcat.org _ بازیابی شده در 1 آوریل 2021 .

پیوندهای خارجی