마이클 A.해리슨
Michael A.마이클 A.해리슨 | |
---|---|
태어난 | 미국 펜실베이니아 주 필라델피아 |
모교 | 미시간 대학교 |
로 알려져 있다. | 형식 언어 이론, 해리슨-루조-울만 모델 |
과학 경력 | |
논문 | 부울알헤브라의 결합문제와 전환이론의 응용 (1963) |
박사학위 자문위원 | 하비 가너 |
박사과정 학생 | 짐 그레이, 오스카 이바라 |
웹사이트 | www.cs.berkeley.edu/ |
마이클 A. 해리슨은 컴퓨터 과학자로, 특히 공식 언어 영역의 선구자다.
전기
마이클 A.해리슨(미국 펜실베이니아주 필라델피아 출생)은 케이스 인스티튜트에서 BS와 MS의 전기공학 및 컴퓨팅을 공부한 뒤 미시간대 통신과학대학에서 박사학위를 받았다.1963년부터 1966년까지 미시간 대학에서 조교수를 지냈으며, 그 후 E.E.의 교수진에 합류했다.1966년부터 1971년까지 부교수로, 1971년부터 1994년까지 전임교수로 재직했던 버클리 캘리포니아 대학교의 학장.[1]
1960년대에는 시모어 긴즈버그가 결성하고 이끄는 연구그룹에서 쉴라 그리바흐, 진 로즈, 에드 스패니어, 조 울리안과 함께 정식언어 이론과 컴퓨터 사이언스의 기초를 전담했다.이 그룹에서 나온 연구는 컴퓨터 과학 이론을 다른 분야와 구별했다.그것은 또한 프로그래밍 언어 연구에 대한 공식적인 언어 이론의 분야를 가져왔다.[2][3][4][5][6][7][8][9][10][11]
1975년, 그는 HRU 보안 모델(그 저자인 해리슨, 루조, 울먼의 이름을 딴 이름)을 개발했다. HRU 보안 모델은 시스템에서 접근권의 무결성을 다루는 운영 체제 수준의 컴퓨터 보안 모델이다.[12][13][14][15]박사과정 학생인 페홍 첸(Pehong Chen)과 함께 버클리 대학(Berkeley)에서 '게인 테크놀로지' 회사(1992년 사이베이스사 인수)를 설립했다.[16][17][18][19][20]
현재 버클리대 명예교수 겸 대학원 교수로 재직 중이다.[1]
사생활
해리슨은 버클리 캘리포니아 대학교 전기공학 및 컴퓨터과학부 컴퓨터과학부 에메리타 페홍 첸 저명한 교수와 결혼했다.[21]
참조
- ^ a b 해리슨 홈 페이지의 롱 비타
- ^ 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 (2): 389–418. doi:10.1145/321386.321403.
- ^ Seymour Ginsburg; Sheila A. Greibach; Michael A. Harrison (1967). "Stack Automata and Compiling". J. ACM. 14 (1): 172–201. doi:10.1145/321371.321385.
- ^ Seymour Ginsburg; Michael A. Harrison (1967). "Bracketed Context-Free Languages". J. Comput. Syst. Sci. 1 (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 (1–2): 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 (4): 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 (5): 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 (3): 428–446. doi:10.1145/321466.321475.
- ^ Seymour Ginsburg; Michael A. Harrison (1968). "On the Elimination of Endmarkers". Information and Control. 12 (2): 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 (4): 395–409. doi:10.1016/s0019-9958(70)80035-3.
- ^ Michael A. Harrison; Walter L. Ruzzo; Jeffrey D. Ullman (1975). "On Protection in Operating System". Proc. 5th Symp. on Operating System Principles (SOSP). pp. 14–24.
- ^ Michael A. Harrison (1975). "On Models of Protection in Operating Systems". In Jirí Becvár (ed.). 4th Symposium on Mathematical Foundations of Computer Science (MFCS). LNCS. Vol. 32. pp. 46–60.
- ^ Harrison, Michael A.; Ruzzo, Walter L.; Ullman, Jeffrey D. (August 1976). "Protection in Operating Systems". Communications of the ACM. 19 (8): 461–471. CiteSeerX 10.1.1.106.7226. doi:10.1145/360303.360333.
- ^ Michael A. Harrison (1985). Theoretical Issues Concerning Protection in Operating Systems. Advances in Computers. Vol. 24. pp. 61–100. doi:10.1016/s0065-2458(08)60365-4. ISBN 9780120121243.
- ^ Pehong Chen; John Coker; Michael A. Harrison; Jeffrey W. McCarrell; Steve Procter (1986). "The VorTeX Document Preparation Environment". In Jacques Désarménien (ed.). 2nd Eur. Conf. on TeX for Scientific Documentation. pp. 45–54.
- ^ Pehong Chen; Michael A. Harrison; Jeffrey W. McCarrell; John Coker; Steve Procter (1986). "An Improved User Environment for TeX". In Jacques Désarménien (ed.). 2nd Eur. Conf. on TeX for Scientific Documentation. pp. 32–44.
- ^ Pehong Chen; Michael A. Harrison (1988). "Index Preparation and Processing". Software: Practice and Experience. 18 (9): 897–915. CiteSeerX 10.1.1.169.9719. doi:10.1002/spe.4380180907.
- ^ Pehong Chen; Michael A. Harrison (1988). "Multiple Representation Document Development". IEEE Computer. 21 (1): 15–31. doi:10.1109/2.222114.
- ^ 블룸버그 비즈니스위크
- ^ UC 버클리 캘리포니아 공연 공동의장으로 수전 엘 그레이엄과 헬렌 마이어가 임명되었다.