Michael A. Harrison
Michael A. Harrison adalah seorang ilmuwan komputer, khususnya pelopor dalam bidang bahasa formal.
| Michael A. Harrison | |
|---|---|
| Almamater | University of Michigan |
| Dikenal atas | formal language theory, Harrison-Ruzzo-Ullman model |
| Karier ilmiah | |
| Disertasi | (1963) |
| Mahasiswa doktoral | Jim Gray, Oscar Ibarra |
| Situs web | www |
Biografi
suntingMichael 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
suntingHarrison 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
sunting- ^ Long Vita at Harrison's Home page
- ^ 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
- ^ Seymour Ginsburg; Sheila A. Greibach; Michael A. Harrison (1967). "One-Way Stack Automata". J. ACM. 14: 389–418. doi:10.1145/321386.321403.
- ^ Seymour Ginsburg; Sheila A. Greibach; Michael A. Harrison (1967). "Stack Automata and Compiling". J. ACM. 14: 172–201. doi:10.1145/321371.321385.
- ^ 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.
- ^ 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.
- ^ 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.
- ^ 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.
- ^ Seymour Ginsburg; Michael A. Harrison (1968). "One-Way Nondeterministic Real-Time List-Storage Languages". J. ACM. 15: 428–446. doi:10.1145/321466.321475.
- ^ 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.
- ^ 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.
- ^ Susan L Graham and Helen Meyer Named Co-Chairs of Cal Performances at UC Berkeley