Michael A. Harrison

Michael A. Harrison
AlmamaterUniversity of Michigan
Dikenal atasformal language theory, Harrison-Ruzzo-Ullman model
Karier ilmiah
Disertasi (1963)
Mahasiswa doktoralJim Gray, Oscar Ibarra
Situs webwww.cs.berkeley.edu/~harrison

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 Case Institute of Technology, dan kemudian menerima gelar PhD dari 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 University of California di Berkeley, di mana dia menjadi profesor rekanan dari tahun 1966 hingga 1971, dan profesor penuh dari tahun 1971 hingga 1994.[1]

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 teori bahasa formal untuk mendukung penelitian bahasa pemrograman.[2][3][4][5][6][7][8][9][10][11]

Kehidupan pribadi

Harrison menikah dengan Susan L. Graham, Profesor Emerita Terhormat Pehong Chen di Divisi Ilmu Komputer Departemen Teknik Elektro dan Ilmu Komputer di University of California, Berkeley.[12]

Referensi

  1. ^ Long Vita at Harrison's Home page
  2. ^ Abiteboul, S.; Hull, R.; Vianu, V. (March 2005), "In memory of Seymour Ginsburg, 1928–2004", ACM SIGMOD Record, 34 (1): 5, doi:10.1145/1058150.1058152
  3. ^ Seymour Ginsburg; Sheila A. Greibach; Michael A. Harrison (1967). "One-Way Stack Automata". J. ACM. 14: 389–418. doi:10.1145/321386.321403.
  4. ^ Seymour Ginsburg; Sheila A. Greibach; Michael A. Harrison (1967). "Stack Automata and Compiling". J. ACM. 14: 172–201. doi:10.1145/321371.321385.
  5. ^ Seymour Ginsburg; Michael A. Harrison (1967). "Bracketed Context-Free Languages". J. Comput. Syst. Sci. 1: 1–23. doi:10.1016/s0022-0000(67)80003-5.
  6. ^ Jim Gray; Michael A. Harrison; Oscar H. Ibarra (1967). "Two-Way Pushdown Automata". Information and Control. 11: 30–70. doi:10.1016/s0019-9958(67)90369-5.
  7. ^ Hervé Gallaire; Jim Gray; Michael A. Harrison; Gabor T. Herman (1968). "Infinite Linear Sequential Machines". J. Comput. Syst. Sci. 2: 381–419. doi:10.1016/s0022-0000(68)80035-2.
  8. ^ Michael A. Harrison; Oscar H. Ibarra (1968). "Multi-Tape and Multi-Head Pushdown Automata". Information and Control. 13: 433–470. doi:10.1016/s0019-9958(68)90901-7.
  9. ^ Seymour Ginsburg; Michael A. Harrison (1968). "One-Way Nondeterministic Real-Time List-Storage Languages". J. ACM. 15: 428–446. doi:10.1145/321466.321475.
  10. ^ Seymour Ginsburg; Michael A. Harrison (1968). "On the Elimination of Endmarkers". Information and Control. 12: 103–115. doi:10.1016/s0019-9958(68)90221-0.
  11. ^ Seymour Ginsburg; Michael A. Harrison (1970). "On the Closure of AFL under Reversal". Information and Control. 17: 395–409. doi:10.1016/s0019-9958(70)80035-3.
  12. ^ Susan L Graham and Helen Meyer Named Co-Chairs of Cal Performances at UC Berkeley

Content Disclaimer

Informasi ini disarikan dari Wikipedia dan disajikan kembali untuk tujuan edukasi. Konten tersedia di bawah lisensi CC BY-SA 3.0. Kami tidak bertanggung jawab atas ketidakakuratan data yang bersumber dari kontribusi publik tersebut.

  1. The information displayed on this website is sourced in part or in whole from Wikipedia and has been adapted for the purpose of restating it. We strive to provide accurate and relevant information, however:
  2. There is no guarantee of absolute accuracy. Wikipedia is an open, collaborative project that can be edited by anyone, so information is subject to change.
  3. It is not intended to constitute professional advice. The content displayed is for informational and educational purposes only. For important decisions (e.g., medical, legal, or financial), please consult a professional.
  4. Content copyright. Wikipedia is licensed under the Creative Commons Attribution-ShareAlike License (CC BY-SA). This means that content may be reused with appropriate attribution and shared under a similar license.
  5. Responsible use. Any risk arising from the use of information from this website is entirely the responsibility of the user.
Kembali kehalaman sebelumnya