Michael A. Harrison itu apa sih?

Michael A. Harrison adalah seorang ilmuwan komputer, khususnya pelopor dalam bidang bahasa formal.

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.

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.