Alfred Aho - Alfred Aho

Vikipediya, Açıq Ensiklopediya

Pin
Send
Share
Send

Alfred Aho
AlfredAhoPortrait.jpg
Anadan olub
Alfred Vaino Aho

(1941-08-09) 9 avqust 1941 (79 yaş)
MilliyyətKanadalı
Amerika
Alma mater
Bilinən
Mükafatlar
Elmi karyera
SahələrKompyuter elmləri
QurumlarKolumbiya Universiteti
Tezisİndeksli Qrammatika: Kontekst Pulsuz Qrammatikaların Genişləndirilməsi (1968)
Doktorant məsləhətçisiJohn Hopcroft[1]

Alfred Vaino Aho (9 avqust 1941-ci il təvəllüdlü) Kanadalıdır kompüter alimi üzərində işi ilə ən yaxşı tanınıb proqramlaşdırma dilləri, tərtibçilərvə əlaqəli alqoritmlər və kompüter proqramlaşdırma sənəti və elminə dair dərslikləri.[2][3][4][5][6][7][8][9][10][11]

Karyera

Aho B.A.Sc. mühəndis fizikasında Toronto Universiteti və fəlsəfə doktoru Elektrik mühəndisliyi / Kompüter elmləri Princeton Universiteti. Araşdırma apardı Bell Labs 1967-1991-ci illərdə və yenidən 1997-2002-ci illərdə Hesablama Elmləri Araşdırma Mərkəzinin vitse-prezidenti vəzifəsində çalışmışdır. 2011-ci ildən etibarən Lawrence Gussman'ın sədri vəzifəsini icra edir Kompyuter elmləri at Kolumbiya Universiteti. 1995-1997-ci illərdə və 2003-cü ilin yazında yenidən kafedra müdiri vəzifəsində çalışıb.

Doktorluq dissertasiyasında Aho yaradıldı indeksli qrammatikaiç içə yığılmış avtomat gücünü uzatmaq üçün vasitə olaraq kontekstsiz dillər, lakin bir çox qərar vermə və bağlanma xüsusiyyətlərini qoruyur. İndeksli qrammatika istifadə edilmişdir[kim tərəfindən?] paralel yenidən yazma sistemlərini, xüsusən də bioloji tətbiqlərdə modelləşdirmək.

Princetondan məzun olduqdan sonra Aho Bell Labs-da Hesablama Elmləri Tədqiqat Mərkəzinə qatıldı və burada ilk versiyalarında tətbiq etdiyi səmərəli müntəzəm ifadə və simli naxış uyğunluğu alqoritmlərini hazırladı. Unix alətlər egrepfgrep. The fgrep alqoritmi Aho-Corasick alqoritmi; tərəfindən hazırlanmış olanlar da daxil olmaqla bir neçə biblioqrafik axtarış sistemi tərəfindən istifadə olunur Margaret J. Corasickvə digər simli axtarış tətbiqetmələri tərəfindən.

Bell Labs-da Aho yaxından işləyirdi Steve JohnsonJeffrey Ullman proqramlaşdırma dillərinin təhlili və tərcüməsi üçün səmərəli alqoritmlər hazırlamaq. Steve Johnson, sintaksis-analizator generatoru yaratmaq üçün aşağıdan yuxarı LALR təhlil alqoritmlərindən istifadə etdi yaccMichael E. LeskEric Schmidt leksik-analizator generatoru yaratmaq üçün Aho-nun müntəzəm ifadə nümunəsinə uyğun alqoritmlərindən istifadə etmişdir lex. Lex və yacc alətləri və onların törəmələri günümüzün bir çox proqramlaşdırma dili tərtibçilərinin ön hissələrini inkişaf etdirmək üçün istifadə edilmişdir.

Aho və Ullman tərtibçi dizaynı ilə əlaqəli nəzəriyyəni kodlaşdıran tərtib texnikalarına dair bir sıra dərsliklər yazdılar. Onların 1977 dərsliyi Kompilyator dizaynının əsasları ön qapağında yaşıl bir ejderha vardı və "yaşıl ejderha kitabı" kimi tanındı. 1986-cı ildə Aho və Ullman qatıldı Ravi Sethi yeni bir nəşr yaratmaq üçün "qırmızı əjdaha kitabı" (1995 filmində qısaca göstərildi ")Hakerlər") və 2007-ci ildə Monica Lam tərəfindən" bənövşəyi ejderha kitabı "yaradılmışdır. Ejderha kitabları dünyanın ən çox istifadə edilən tərtibçi dərslikləri olmuşdur.[alıntıya ehtiyac var]

1974-cü ildə Aho, John Hopcroftvə Ullman yazdı Kompüter alqoritmlərinin dizaynı və analizi, alqoritmlər üzərində apardıqları bəzi araşdırmaların kodlaşdırılması. Bu kitab bir neçə onillikdə kompüter elmində ən çox istinad edilən kitablardan biri oldu və kompüter elmləri tədris proqramında mərkəzi bir kurs kimi alqoritmlərin və məlumat strukturlarının yaradılmasının stimullaşdırılmasına kömək etdi.

Aho həmmüəllifliyi ilə də məşhurdur AWK proqramlaşdırma dili ilə Peter J. WeinbergerBrian Kernighan ("A" "Aho" deməkdir). 2010-cu ildən etibarən Aho-nun tədqiqat sahələri proqramlaşdırma dilləri, tərtibçilər, alqoritmlər və kvant hesablama. Kolumbiya Universitetində Dil və Tərtibçilər tədqiqat qrupunun bir hissəsidir.[12]

Ümumilikdə, əsərlərindən 81.040 dəfə bəhs edilmişdir və bir əsər var h-indeks 8 May 2019 tarixindən etibarən 66-dan.[13]

Aho, bir çox prestijli mükafata layiq görülmüşdür IEEE's John von Neumann Medalı və üzvlüyü Milli Mühəndislik Akademiyası. O, bir üzv seçildi Amerika İncəsənət və Elmlər Akademiyası 2003-cü ildə.[14] Fəxri doktoru adını almışdır Waterloo Universiteti, etibarən Helsinki Universiteti, etibarən Toronto Universiteti, və bir üzvdür Amerika Elminin İnkişafı Dərnəyi, ACM, Bell LabsIEEE.

Aho iki dəfə Milli Elm Fondunun Kompüter və İnformasiya Elmləri və Mühəndislik Müdirliyi Məsləhət Komitəsinin sədri vəzifəsində çalışıb. O, keçmiş prezidentdir Alqoritmlər və Hesablama nəzəriyyəsi üzrə ACM Xüsusi Faiz Qrupu.[15]

Tədris

Aho, 1995-ci ildən bu yana Nyu-Yorkdakı Columbia Universitetində dərs demişdir. 2003-cü ildə Columbia Məzunları Cəmiyyətinin Böyük Müəllim Mükafatını qazanmışdır.

Kitablar

  • A. V. Aho və J. D. Ullman, Təhlil, tərcümə və tərtib nəzəriyyəsi, c. 1, ayrıştırma. Prentice Hall, 1972. ISBN 0-13-914556-7
  • A. V. Aho (ed.) Hesablama nəzəriyyəsindəki cərəyanlar. Prentice Hall, 1973.
  • A. V. Aho və J. D. Ullman, Təhlil, tərcümə və tərtib nəzəriyyəsi, c. 2, tərtib. Prentice-Hall, 1973. ISBN 978-0-13-914564-3
  • A. V. Aho, J. E. Hopcroft, J. D. Ullman, Kompüter alqoritmlərinin dizaynı və analizi. Addison-Wesley, 1974. ISBN 0-201-00023-7
  • A. V. Aho və J. D. Ullman, Kompilyator dizaynının əsasları. Addison-Wesley, 1977. ISBN 0-201-00022-9
  • A. V. Aho, J. E. Hopcroft, J. D. Ullman, Məlumat strukturları və alqoritmləri. Addison-Wesley, 1983. ISBN 0-201-00023-7
  • A. V. Aho, R. Sethi, J. D. Ullman, Tərtib edənlər: prinsiplər, üsullar və alətlər. Addison-Wesley, MA oxu 1986. ISBN 0-201-10088-6
  • A. V. Aho, B. W. KernighanP. J. Weinberger, AWK Proqramlaşdırma Dili. Addison-Wesley, 1988. ISBN 978-0-201-07981-4
  • A. V. Aho və J. D. Ullman, Kompüter elminin əsasları. W. H. Freeman / Computer Science Press, 1992.
  • A. V. Aho, M. S. Lam, R. SethiJ. D. Ullman, Tərtib edənlər: prinsiplər, üsullar və alətlər, Second Edition. Addison-Wesley, 2007. ISBN 978-0-321-48681-3

İstinadlar

  1. ^ Alfred Vaino Aho da, də Riyaziyyat Şəcərəsi Layihəsi
  2. ^ Aho, A. V. (1968). "İndeksli Qrammatika --- Kontekstsiz Qrammatikaların Genişləndirilməsi". ACM jurnalı. 15 (4): 647–671. doi:10.1145/321479.321488. S2CID 9539666.
  3. ^ Aho, A.; Gottlob, G. (2014). "Ön sıradakı oturacaq Rabitə'redaksiya çevrilməsi ". ACM rabitəsi. 57 (4): 5. doi:10.1145/2582611. S2CID 21553189.
  4. ^ Aho, A. V. (1969). "Nested Stack Automata". ACM jurnalı. 16 (3): 383–406. doi:10.1145/321526.321529. S2CID 685569.
  5. ^ Aho, Alfred V .; Corasick, Margaret J. (Jun 1975). "Səmərəli simli uyğunlaşma: Biblioqrafik axtarışa kömək" (PDF). ACM rabitəsi. 18 (6): 333–340. doi:10.1145/360825.360855. S2CID 207735784.[daimi ölü link]
  6. ^ Aho, A. V .; Johnson, S. C .; Ullman, J. D. (1977). "Ümumi Subexpressions ilə ifadələr üçün Kod Generation". ACM jurnalı. 24: 146–160. doi:10.1145/321992.322001. S2CID 2614214.
  7. ^ Aho, A. V .; Kernighan, B. W .; Weinberger, P. J. (1979). "Awk - bir model tarama və işləmə dili". Proqram təminatı: Təcrübə və təcrübə. 9 (4): 267. CiteSeerX 10.1.1.80.4787. doi:10.1002 / spe.4380090403. S2CID 29399630.
  8. ^ Aho, A.V. (1990). "Simlərdə naxış tapmaq üçün alqoritmlər". Nəzəri Kompüter Elmləri Kitabçası. MIT Press. s. 255-300.
  9. ^ Alfred Aho müəllif profil səhifəsi ACM Rəqəmsal Kitabxana
  10. ^ Alfred V. Aho ilə Computerworld Müsahibəsi Arxivləndi 2008-05-29 Geri dönmə maşını
  11. ^ Etibarlı olmayan proqramçılardan etibarlı proqramlar yaratmaq [PDF], Excellentia
  12. ^ http://landc.cs.columbia.edu/
  13. ^ "Alfred Aho üçün Google Scholar Record".
  14. ^ "Üzvlər kitabı, 1780-2010: Fəsil A" (PDF). Amerika İncəsənət və Elmlər Akademiyası. Arxivləndi (PDF) 10 May 2011 tarixində orijinaldan. Alındı 6 aprel 2011.
  15. ^ "ABŞ-ın qısa müddətdə sübuta yetirilən qəzəbi hirsləndirir". New York Times. 17 fevral 1987. Alındı 10 noyabr 2015 - Safari vasitəsilə.

xarici linklər

Pin
Send
Share
Send