Майкл А. Харрисон
Майкл А. Харрисон | |
|---|---|
| Рожденный | Филадельфия, Пенсильвания, США |
| Альма-матер | университет Мичигана |
| Известный | формальная теория языка, модель Харрисона-Руццо-Ульмана |
| Научная карьера | |
| Тезис | Комбинаторные проблемы булевых алгебр и приложения к теории переключения (1963) |
| Докторантура | Харви Гарнер |
| Докторанты | Джим Грей , Оскар Ибарра |
| Веб-сайт | www |
Майкл А. Харрисон – ученый-компьютерщик , в частности, пионер в области формальных языков .
Биография [ править ]
Майкл А. Харрисон (родился в Филадельфии, штат Пенсильвания, США) изучал электротехнику и вычислительную технику на степень бакалавра и магистра наук в Технологическом институте Кейса , а затем получил степень доктора философии в Мичиганском университете в области коммуникационных наук. Он был доцентом с 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]
Личная жизнь [ править ]
Харрисон женат на Сьюзен Л. Грэм , заслуженном профессоре Пехонг Чен отделения компьютерных наук факультета электротехники и компьютерных наук Калифорнийского университета в Беркли . [21]
Ссылки [ править ]
- ^ Перейти обратно: а б Long Vita Харрисона на домашней странице
- ^ Абитбул, С. ; Халл, Р.; Виану, В. (март 2005 г.), «Памяти Сеймура Гинзбурга, 1928–2004», ACM SIGMOD Record , 34 (1): 5, doi : 10.1145/1058150.1058152 , S2CID 11825012
- ^ Сеймур Гинзбург; Шейла А. Грейбах; Майкл А. Харрисон (1967). «Односторонний стек-автомат» . Дж. АКМ . 14 (2): 389–418. дои : 10.1145/321386.321403 .
- ^ Сеймур Гинзбург; Шейла А. Грейбах; Майкл А. Харрисон (1967). «Стековые автоматы и компиляция» . Дж. АКМ . 14 (1): 172–201. дои : 10.1145/321371.321385 .
- ^ Сеймур Гинзбург; Майкл А. Харрисон (1967). «Контекстно-свободные языки в квадратных скобках». Дж. Компьютер. Сист. Наука . 1 (1): 1–23. дои : 10.1016/s0022-0000(67)80003-5 .
- ^ Джим Грей; Майкл А. Харрисон; Оскар Х. Ибарра (1967). «Автоматы с двусторонним нажатием». Информация и контроль . 11 (1–2): 30–70. дои : 10.1016/s0019-9958(67)90369-5 .
- ^ Эрве Галлер; Джим Грей; Майкл А. Харрисон; Габор Т. Герман (1968). «Бесконечные линейные последовательные машины». Дж. Компьютер. Сист. Наука . 2 (4): 381–419. дои : 10.1016/s0022-0000(68)80035-2 .
- ^ Майкл А. Харрисон; Оскар Х. Ибарра (1968). «Многоленточные и многоголовочные автоматы с прижимом» . Информация и контроль . 13 (5): 433–470. дои : 10.1016/s0019-9958(68)90901-7 .
- ^ Сеймур Гинзбург; Майкл А. Харрисон (1968). «Односторонние недетерминированные языки хранения списков в реальном времени» . Дж. АКМ . 15 (3): 428–446. дои : 10.1145/321466.321475 .
- ^ Сеймур Гинзбург; Майкл А. Харрисон (1968). «Об устранении эндмаркеров». Информация и контроль . 12 (2): 103–115. дои : 10.1016/s0019-9958(68)90221-0 .
- ^ Сеймур Гинзбург; Майкл А. Харрисон (1970). «О закрытии АФТ при отмене» . Информация и контроль . 17 (4): 395–409. дои : 10.1016/s0019-9958(70)80035-3 .
- ^ Майкл А. Харрисон; Уолтер Л. Руццо; Джеффри Д. Уллман (1975). «О защите в операционной системе». Учеб. 5-й симп. по принципам операционной системы (SOSP) . стр. 14–24.
- ^ Майкл А. Харрисон (1975). «О моделях защиты в операционных системах». В Иржи Бекваре (ред.). 4-й симпозиум по математическим основам информатики (MFCS) . ЛНКС. Том. 32. С. 46–60.
- ^ Харрисон, Майкл А.; Руццо, Уолтер Л.; Уллман, Джеффри Д. (август 1976 г.). «Защита в операционных системах». Коммуникации АКМ . 19 (8): 461–471. CiteSeerX 10.1.1.106.7226 . дои : 10.1145/360303.360333 .
- ^ Майкл А. Харрисон (1985). «Теоретические вопросы защиты в операционных системах» . Достижения в области компьютеров . Том. 24. С. 61–100. дои : 10.1016/s0065-2458(08)60365-4 . ISBN 9780120121243 .
- ^ Пехонг Чен; Джон Кокер; Майкл А. Харрисон; Джеффри В. Маккаррелл; Стив Проктер (1986). «Среда подготовки документов VorTeX». В Жаке Дезарменине (ред.). 2-й евро. Конф. о TeX для научной документации . стр. 45–54.
- ^ Пехонг Чен; Майкл А. Харрисон; Джеффри В. Маккаррелл; Джон Кокер; Стив Проктер (1986). «Улучшенная пользовательская среда для TeX». В Жаке Дезарменине (ред.). 2-й евро. Конф. о TeX для научной документации . стр. 32–44.
- ^ Пехонг Чен; Майкл А. Харрисон (1988). «Подготовка и обработка индекса». Программное обеспечение: практика и опыт . 18 (9): 897–915. CiteSeerX 10.1.1.169.9719 . дои : 10.1002/спе.4380180907 . S2CID 14196169 .
- ^ Пехонг Чен; Майкл А. Харрисон (1988). «Разработка документов множественного представительства» . IEEE-компьютер . 21 (1): 15–31. дои : 10.1109/2.222114 . S2CID 8384587 .
- ^ Блумберг Бизнесуик
- ^ Сьюзан Л. Грэм и Хелен Мейер назначены сопредседателями Cal Performances в Калифорнийском университете в Беркли
Внешние ссылки [ править ]
| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
