Michael A. Harrison: Perbedaan antara revisi
Konten dihapus Konten ditambahkan
Miko Cleova (bicara | kontrib) Dibuat dengan menerjemahkan halaman "Michael A. Harrison" Tag: kemungkinan spam Terjemahan Konten Terjemahan Konten v2 |
Miko Cleova (bicara | kontrib) Tidak ada ringkasan suntingan Tag: kemungkinan perlu pemeriksaan terjemahan VisualEditor |
||
Baris 2:
(death date then birth date) -->|resting_place_coordinates=<!--
{{Coord|LAT|LONG|type:landmark|display=inline,title}} -->|alma_mater=[[University of Michigan]]|thesis_url=|thesis_year=1963|academic_advisors=|doctoral_students=[[Jim Gray (computer scientist)|Jim Gray]], [[Oscar H. Ibarra|Oscar Ibarra]]|known_for=formal language theory, [[Harrison-Ruzzo-Ullman model]]|author_abbrev_bot=|author_abbrev_zoo=|awards=|website={{URL|http://www.cs.berkeley.edu/~harrison}}|spouse=}}
'''Michael A. Harrison''' adalah seorang [[ilmuwan komputer]], khususnya pelopor dalam bidang [[bahasa formal]] .
== Biografi ==
Michael A. Harrison (lahir di Philadelphia, Pennsylvania, AS) mempelajari teknik kelistrikan dan komputasi untuk BS dan MS di [[Institut Teknologi Kasus|Case Institute of Technology]], dan kemudian menerima gelar PhD dari [[Universitas Michigan|University of Michigan]] di bidang Ilmu Komunikasi. Dia adalah asisten profesor dari tahun 1963 hingga 1966 di University of Michigan, dan kemudian bergabung dengan fakultas di EE Dept di [[Universitas California, Berkeley|University of California di Berkeley]], di mana dia menjadi profesor rekanan dari tahun 1966 hingga 1971, dan profesor penuh dari tahun 1971 hingga 1994. <ref name="vita">[http://www.cs.berkeley.edu/~harrison/long-vita.html Long Vita] at Harrison's [http://www.cs.berkeley.edu/~harrison Home page]</ref>
Pada 1960-an, dia bekerja dengan [[Sheila Greibach]], Gene Rose, [[Ed Spanier]], dan [[Joe Ullian]] dalam kelompok penelitian yang dibentuk dan dipimpin oleh [[Seymour Ginsburg]], didedikasikan untuk teori bahasa formal dan dasar-dasar Ilmu Komputer. Pekerjaan yang keluar dari kelompok ini membedakan teori Ilmu Komputer dari bidang lain. Itu juga membawa bidang [[Bahasa formal|teori bahasa formal]] untuk mendukung penelitian [[bahasa pemrograman]] . <ref name="memory">{{Citation|last=Abiteboul|first=S.|author1-link=Serge Abiteboul|last2=Hull|first2=R.|last3=Vianu|first3=V.|author3-link=Victor Vianu|title=In memory of Seymour Ginsburg, 1928–2004|journal=ACM SIGMOD Record|volume=34|number=1|date=March 2005|doi=10.1145/1058150.1058152|pages=5}}</ref> <ref>{{Cite journal|last=Seymour Ginsburg|last2=Sheila A. Greibach|last3=Michael A. Harrison|year=1967|title=One-Way Stack Automata|journal=J. ACM|volume=14|pages=389–418|doi=10.1145/321386.321403}}</ref> <ref>{{Cite journal|last=Seymour Ginsburg|last2=Sheila A. Greibach|last3=Michael A. Harrison|year=1967|title=Stack Automata and Compiling|journal=J. ACM|volume=14|pages=172–201|doi=10.1145/321371.321385}}</ref> <ref>{{Cite journal|last=Seymour Ginsburg|last2=Michael A. Harrison|year=1967|title=Bracketed Context-Free Languages|journal=J. Comput. Syst. Sci.|volume=1|pages=1–23|doi=10.1016/s0022-0000(67)80003-5}}</ref> <ref>{{Cite journal|last=Jim Gray|last2=Michael A. Harrison|last3=Oscar H. Ibarra|year=1967|title=Two-Way Pushdown Automata|journal=Information and Control|volume=11|pages=30–70|doi=10.1016/s0019-9958(67)90369-5}}</ref> <ref>{{Cite journal|last=Hervé Gallaire|last2=Jim Gray|last3=Michael A. Harrison|last4=Gabor T. Herman|year=1968|title=Infinite Linear Sequential Machines|journal=J. Comput. Syst. Sci.|volume=2|pages=381–419|doi=10.1016/s0022-0000(68)80035-2}}</ref> <ref>{{Cite journal|last=Michael A. Harrison|last2=Oscar H. Ibarra|year=1968|title=Multi-Tape and Multi-Head Pushdown Automata|journal=Information and Control|volume=13|pages=433–470|doi=10.1016/s0019-9958(68)90901-7}}</ref> <ref>{{Cite journal|last=Seymour Ginsburg|last2=Michael A. Harrison|year=1968|title=One-Way Nondeterministic Real-Time List-Storage Languages|journal=J. ACM|volume=15|pages=428–446|doi=10.1145/321466.321475}}</ref> <ref>{{Cite journal|last=Seymour Ginsburg|last2=Michael A. Harrison|year=1968|title=On the Elimination of Endmarkers|journal=Information and Control|volume=12|pages=103–115|doi=10.1016/s0019-9958(68)90221-0}}</ref> <ref>{{Cite journal|last=Seymour Ginsburg|last2=Michael A. Harrison|year=1970|title=On the Closure of AFL under Reversal|journal=Information and Control|volume=17|pages=395–409|doi=10.1016/s0019-9958(70)80035-3}}</ref>
== Kehidupan pribadi ==
Harrison menikah dengan [[Susan L. Graham]], Profesor Emerita Terhormat [[Pehong Chen]] di Divisi Ilmu Komputer Departemen Teknik Elektro dan Ilmu Komputer di [[Universitas California, Berkeley|University of California, Berkeley]] . <ref name="calperformances-Chair-Transition-PR-May-13-2016">[https://calperformances.org/learn/press-room/press-releases/pdfs/2015-16/Board-of-Trustees-Chair-Transition-PR-May-13-2016-FINAL.pdf Susan L Graham and Helen Meyer Named Co-Chairs of Cal Performances at UC Berkeley]</ref>
== Referensi ==
[[Category:Articles with hCards]]
| |||