Майкл А. Харрисон - Michael A. Harrison

Майкл А. Харрисон
Родившийся
Филадельфия, Пенсильвания, США.
Альма-матеруниверситет Мичигана
Известенформальная теория языка, Модель Харрисона-Руццо-Ульмана
Научная карьера
ТезисКомбинаторные проблемы булевых алгебр и приложения к теории переключений (1963)
ДокторантХарви Гарнер
ДокторантыДжим Грей, Оскар Ибарра
Интернет сайтwww.cs.berkeley.edu/ ~ Харрисон

Майкл А. Харрисон это специалист в области информатики, в частности, пионер в области формальные языки.

биография

Майкл А. Харрисон (родился в Филадельфии, штат Пенсильвания, США) изучал электротехнику и вычисления для бакалавриата и магистратуры в Кейс технологический институт, а затем получил докторскую степень в университет Мичигана в коммуникационных науках. Он был доцентом с 1963 по 1966 год в Мичиганском университете, а затем присоединился к преподавателям кафедры E.E. Калифорнийский университет в Беркли, где он был доцентом с 1966 по 1971 год и профессором с 1971 по 1994 год.[1]

В 1960-е годы он работал с Шейла Грейбах, Джин Роуз, Эд Спаниер, и Джо Уллиан в исследовательской группе, сформированной и возглавляемой Сеймур Гинзбург, посвященная теории формального языка и основам информатики. Работа, созданная этой группой, отличала теорию информатики от других областей. Это также принесло формальная теория языка нести язык программирования исследование.[2][3][4][5][6][7][8][9][10][11]

В 1975 году он разработал Модель безопасности HRU (назван в честь авторов Харрисона, Руццо, Ульман ), Операционная система уровень модель компьютерной безопасности имея дело с честность из права доступа в системе.[12][13][14][15]Со своей докторской степенью. ученик Пехонг Чен в Беркли,[16][17][18][19] он основал компанию "Gain Technology" (приобретена Sybase в 1992 г.).[20]

В настоящее время он является почетным профессором, а также профессором аспирантуры в Беркли.[1]

Рекомендации

  1. ^ а б Long Vita у Харрисона Домашняя страница
  2. ^ Абитебул, С.; Hull, R .; Виану, В. (Март 2005 г.), «Памяти Сеймура Гинзбурга, 1928–2004 гг.», Запись ACM SIGMOD, 34 (1): 5, Дои:10.1145/1058150.1058152
  3. ^ Сеймур Гинзбург; Шейла А. Грейбах; Майкл А. Харрисон (1967). «Односторонние стековые автоматы». J. ACM. 14 (2): 389–418. Дои:10.1145/321386.321403.
  4. ^ Сеймур Гинзбург; Шейла А. Грейбах; Майкл А. Харрисон (1967). «Стек-автоматы и компиляция». J. ACM. 14 (1): 172–201. Дои:10.1145/321371.321385.
  5. ^ Сеймур Гинзбург; Майкл А. Харрисон (1967). «Контекстно-свободные языки в квадратных скобках». J. Comput. Syst. Наука. 1 (1): 1–23. Дои:10.1016 / с0022-0000 (67) 80003-5.
  6. ^ Джим Грей; Майкл А. Харрисон; Оскар Х. Ибарра (1967). «Двусторонние автоматы с опусканием вниз». Информация и контроль. 11 (1–2): 30–70. Дои:10.1016 / s0019-9958 (67) 90369-5.
  7. ^ Эрве Галлер; Джим Грей; Майкл А. Харрисон; Габор Т. Герман (1968). «Бесконечные линейные последовательные машины». J. Comput. Syst. Наука. 2 (4): 381–419. Дои:10.1016 / s0022-0000 (68) 80035-2.
  8. ^ Майкл А. Харрисон; Оскар Х. Ибарра (1968). «Многоленточные и многоголовочные автоматы с опусканием вниз». Информация и контроль. 13 (5): 433–470. Дои:10.1016 / s0019-9958 (68) 90901-7.
  9. ^ Сеймур Гинзбург; Майкл А. Харрисон (1968). «Односторонние недетерминированные языки хранения списков в реальном времени». J. ACM. 15 (3): 428–446. Дои:10.1145/321466.321475.
  10. ^ Сеймур Гинзбург; Майкл А. Харрисон (1968). «Об устранении конечных маркеров». Информация и контроль. 12 (2): 103–115. Дои:10.1016 / с0019-9958 (68) 90221-0.
  11. ^ Сеймур Гинзбург; Майкл А. Харрисон (1970). «О закрытии AFL при развороте». Информация и контроль. 17 (4): 395–409. Дои:10.1016 / с0019-9958 (70) 80035-3.
  12. ^ Майкл А. Харрисон; Уолтер Л. Руццо; Джеффри Д. Ульман (1975). «О защите в операционной системе». Proc. 5-й симпозиум о принципах операционной системы (SOSP). С. 14–24.
  13. ^ Майкл А. Харрисон (1975). «О моделях защиты в операционных системах». В Иржи Бечваре (ред.). 4-й симпозиум по математическим основам информатики (MFCS). LNCS. 32. С. 46–60.
  14. ^ Харрисон, Майкл А .; Ruzzo, Walter L .; Ульман, Джеффри Д. (август 1976 г.). «Защита в операционных системах». Коммуникации ACM. 19 (8): 461–471. CiteSeerX  10.1.1.106.7226. Дои:10.1145/360303.360333.
  15. ^ Майкл А. Харрисон (1985). Теоретические вопросы защиты в операционных системах. Достижения в области компьютеров. 24. С. 61–100. Дои:10.1016 / с0065-2458 (08) 60365-4. ISBN  9780120121243.
  16. ^ Пехонг Чен; Джон Кокер; Майкл А. Харрисон; Джеффри В. Маккаррелл; Стив Проктер (1986). «Среда подготовки документов VorTeX». В Жаке Дезармене (ред.). 2-й евро. Конф. на TeX для научной документации. С. 45–54.
  17. ^ Пехонг Чен; Майкл А. Харрисон; Джеффри В. Маккаррелл; Джон Кокер; Стив Проктер (1986). «Улучшенная пользовательская среда для TeX». В Жаке Дезармене (ред.). 2-й евро. Конф. на TeX для научной документации. С. 32–44.
  18. ^ Пехонг Чен; Майкл А. Харрисон (1988). «Подготовка и обработка указателей». Софтв., Прак. Exper. 18 (9): 897–915. CiteSeerX  10.1.1.169.9719. Дои:10.1002 / spe.4380180907.
  19. ^ Пехонг Чен; Майкл А. Харрисон (1988). «Разработка документов множественного представительства». IEEE Computer. 21 (1): 15–31. Дои:10.1109/2.222114.
  20. ^ Bloomberg Businessweek

внешняя ссылка