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

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

Биография

Майкл А. Харрисон (родился в Филадельфии, Пенсильвания, США) изучал электротехнику и вычислительную технику для получения степени бакалавра и магистра в Технологическом институте Кейса , а затем получил степень доктора наук в Мичиганском университете в области коммуникационных наук. Он был доцентом с 1963 по 1966 год в Мичиганском университете, а затем присоединился к факультету кафедры электротехники в Калифорнийском университете в Беркли , где он был доцентом с 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]

Личная жизнь

Харрисон женат на Сьюзан Л. Грэм , почетном профессоре Pehong Chen Distinguished Emerita в Отделении компьютерных наук Департамента электротехники и компьютерных наук Калифорнийского университета в Беркли . [21]

Ссылки

  1. ^ ab Long Vita на домашней странице Харрисона
  2. ^ Абитебул, С .; Халл, Р.; Виану, В. (март 2005 г.), «В память о Сеймуре Гинзбурге, 1928–2004», ACM SIGMOD Record , 34 (1): 5, doi :10.1145/1058150.1058152, S2CID  11825012
  3. ^ Сеймур Гинзбург; Шейла А. Грейбах; Майкл А. Харрисон (1967). «Односторонние стековые автоматы». J. ACM . 14 (2): 389–418. doi : 10.1145/321386.321403 .
  4. ^ Сеймур Гинзбург; Шейла А. Грейбах; Майкл А. Харрисон (1967). «Стековые автоматы и компиляция». J. ACM . 14 (1): 172–201. doi : 10.1145/321371.321385 .
  5. ^ Сеймур Гинзбург; Майкл А. Харрисон (1967). «Контекстно-свободные языки в скобках». J. Comput. Syst. Sci . 1 (1): 1–23. doi :10.1016/s0022-0000(67)80003-5.
  6. ^ Джим Грей; Майкл А. Харрисон; Оскар Х. Ибарра (1967). «Двухсторонние автоматы с толкающим механизмом». Информация и управление . 11 (1–2): 30–70. doi :10.1016/s0019-9958(67)90369-5.
  7. ^ Эрве Галлер; Джим Грей; Майкл А. Харрисон; Габор Т. Герман (1968). «Бесконечные линейные последовательные машины». J. Comput. Syst. Sci . 2 (4): 381–419. doi :10.1016/s0022-0000(68)80035-2.
  8. ^ Майкл А. Харрисон; Оскар Х. Ибарра (1968). «Многоленточные и многоголовочные автоматы с толкающим устройством». Информация и управление . 13 (5): 433–470. doi : 10.1016/s0019-9958(68)90901-7 .
  9. ^ Сеймур Гинзбург; Майкл А. Харрисон (1968). «Односторонние недетерминированные языки хранения списков в реальном времени». J. ACM . 15 (3): 428–446. doi : 10.1145/321466.321475 .
  10. ^ Сеймур Гинзбург; Майкл А. Харрисон (1968). «Об устранении конечных маркеров». Информация и управление . 12 (2): 103–115. doi :10.1016/s0019-9958(68)90221-0.
  11. ^ Сеймур Гинзбург; Майкл А. Харрисон (1970). «О закрытии AFL при развороте». Информация и управление . 17 (4): 395–409. doi : 10.1016/s0019-9958(70)80035-3 .
  12. ^ Майкл А. Харрисон; Уолтер Л. Руццо; Джеффри Д. Ульман (1975). «О защите в операционной системе». Труды 5-го симпозиума по принципам операционных систем (SOSP) . стр. 14–24.
  13. ^ Майкл А. Харрисон (1975). «О моделях защиты в операционных системах». В Jirí Becvár (ред.). 4-й симпозиум по математическим основам информатики (MFCS) . LNCS. Т. 32. С. 46–60.
  14. ^ Харрисон, Майкл А.; Руццо, Уолтер Л.; Ульман, Джеффри Д. (август 1976 г.). «Защита в операционных системах». Сообщения ACM . 19 (8): 461–471. CiteSeerX 10.1.1.106.7226 . doi :10.1145/360303.360333. 
  15. ^ Майкл А. Харрисон (1985). «Теоретические вопросы, касающиеся защиты в операционных системах». Advances in Computers . Vol. 24. pp. 61–100. doi :10.1016/s0065-2458(08)60365-4. ISBN 9780120121243.
  16. ^ Pehong Chen; John Coker; Michael A. Harrison; Jeffrey W. McCarrell; Steve Procter (1986). «Среда подготовки документов VorTeX». В Jacques Désarménien (ред.). 2nd Eur. Conf. on TeX for Scientific Documentation . стр. 45–54.
  17. ^ Pehong Chen; Michael A. Harrison; Jeffrey W. McCarrell; John Coker; Steve Procter (1986). «Улучшенная пользовательская среда для TeX». В Jacques Désarménien (ред.). 2nd Eur. Conf. on TeX for Scientific Documentation . стр. 32–44.
  18. ^ Pehong Chen; Michael A. Harrison (1988). «Подготовка и обработка индекса». Программное обеспечение: практика и опыт . 18 (9): 897–915. CiteSeerX 10.1.1.169.9719 . doi :10.1002/spe.4380180907. S2CID  14196169. 
  19. ^ Pehong Chen; Michael A. Harrison (1988). «Разработка множественного представления документа». IEEE Computer . 21 (1): 15–31. doi :10.1109/2.222114. S2CID  8384587.
  20. ^ Bloomberg Businessweek
  21. ^ Сьюзан Л. Грэм и Хелен Мейер назначены сопредседателями Cal Performances в Калифорнийском университете в Беркли
  • Список публикаций на acm.org
Взято с "https://en.wikipedia.org/w/index.php?title=Майкл_А._Харрисон&oldid=1222484932"