Michael A. Harrison es un científico informático , en particular un pionero en el área de los lenguajes formales .
Michael A. Harrison | |
---|---|
Nació | Filadelfia, Pensilvania, EE. UU. |
alma mater | Universidad de Michigan |
Conocido por | teoría del lenguaje formal, modelo de Harrison-Ruzzo-Ullman |
Carrera científica | |
Tesis | Problemas combinatorios en álgebras booleanas y aplicaciones a la teoría de la conmutación (1963) |
Asesor de doctorado | Harvey Garner |
Estudiantes de doctorado | Jim Gray , Oscar Ibarra |
Sitio web | www |
Biografía
Michael A. Harrison (nacido en Filadelfia, Pensilvania, EE. UU.) Estudió ingeniería eléctrica y computación para BS y MS en el Case Institute of Technology , y luego recibió un doctorado de la Universidad de Michigan en Ciencias de la Comunicación. Fue profesor asistente de 1963 a 1966 en la Universidad de Michigan, y luego se unió a la facultad del Departamento de EE en la Universidad de California en Berkeley , donde fue profesor asociado de 1966 a 1971 y profesor titular de 1971 a 1994. . [1]
En la década de 1960, trabajó con Sheila Greibach , Gene Rose, Ed Spanier y Joe Ullian en un grupo de investigación formado y dirigido por Seymour Ginsburg , dedicado a la teoría del lenguaje formal y los fundamentos de la informática. El trabajo que surgió de este grupo distinguió la teoría de la informática de otros campos. También hizo que el campo de la teoría del lenguaje formal influyera en la investigación del lenguaje de programación . [2] [3] [4] [5] [6] [7] [8] [9] [10] [11]
En 1975, desarrolló el modelo de seguridad HRU (llamado así por sus autores Harrison, Ruzzo , Ullman ), un modelo de seguridad informática a nivel de sistema operativo que se ocupa de la integridad de los derechos de acceso en el sistema. [12] [13] [14] [15] Con su Ph.D. estudiante Pehong Chen en Berkeley , [16] [17] [18] [19] fundó la empresa "Gain Technology" (adquirida por Sybase en 1992). [20]
Actualmente, es profesor emérito y también profesor en la escuela de posgrado de Berkeley. [1]
Referencias
- ^ a b Long Vita en la página de inicio de Harrison
- ^ Abiteboul, S .; Hull, R .; Vianu, V. (marzo de 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). "Autómatas de pila unidireccionales". J. ACM . 14 (2): 389–418. doi : 10.1145 / 321386.321403 .
- ^ Seymour Ginsburg; Sheila A. Greibach; Michael A. Harrison (1967). "Pila de autómatas y compilación". J. ACM . 14 (1): 172-201. doi : 10.1145 / 321371.321385 .
- ^ Seymour Ginsburg; Michael A. Harrison (1967). "Lenguajes libres de contexto entre corchetes". 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). "Autómatas de empuje bidireccional" . Información y 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). "Máquinas secuenciales lineales infinitas". J. Comput. Syst. Sci . 2 (4): 381–419. doi : 10.1016 / s0022-0000 (68) 80035-2 .
- ^ Michael A. Harrison; Oscar H. Ibarra (1968). "Autómatas Pushdown Multi-Tape y Multi-Head" . Información y control . 13 (5): 433–470. doi : 10.1016 / s0019-9958 (68) 90901-7 .
- ^ Seymour Ginsburg; Michael A. Harrison (1968). "Lenguajes de almacenamiento de listas en tiempo real no deterministas unidireccionales". J. ACM . 15 (3): 428–446. doi : 10.1145 / 321466.321475 .
- ^ Seymour Ginsburg; Michael A. Harrison (1968). "Sobre la eliminación de marcadores finales" . Información y control . 12 (2): 103-115. doi : 10.1016 / s0019-9958 (68) 90221-0 .
- ^ Seymour Ginsburg; Michael A. Harrison (1970). "Sobre el cierre de AFL en reversa" . Información y control . 17 (4): 395–409. doi : 10.1016 / s0019-9958 (70) 80035-3 .
- ^ Michael A. Harrison; Walter L. Ruzzo; Jeffrey D. Ullman (1975). "Sobre la protección en el sistema operativo". Proc. 5th Symp. sobre los principios del sistema operativo (SOSP) . págs. 14-24.
- ^ Michael A. Harrison (1975). "Sobre modelos de protección en sistemas operativos". En Jirí Becvár (ed.). IV Simposio de Fundamentos Matemáticos de la Informática (MFCS) . LNCS. 32 . págs. 46–60.
- ^ Harrison, Michael A .; Ruzzo, Walter L .; Ullman, Jeffrey D. (agosto de 1976). "Protección en sistemas operativos". Comunicaciones de la ACM . 19 (8): 461–471. CiteSeerX 10.1.1.106.7226 . doi : 10.1145 / 360303.360333 .
- ^ Michael A. Harrison (1985). Aspectos teóricos de la protección en sistemas operativos . Avances en informática . 24 . págs. 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). "El entorno de preparación de documentos VorTeX". En Jacques Désarménien (ed.). 2ª Eur. Conf. sobre TeX para documentación científica . págs. 45–54.
- ^ Pehong Chen; Michael A. Harrison; Jeffrey W. McCarrell; John Coker; Steve Procter (1986). "Un entorno de usuario mejorado para TeX". En Jacques Désarménien (ed.). 2ª Eur. Conf. sobre TeX para documentación científica . págs. 32–44.
- ^ Pehong Chen; Michael A. Harrison (1988). "Preparación y procesamiento de índices". Softw., Pract. Exper . 18 (9): 897–915. CiteSeerX 10.1.1.169.9719 . doi : 10.1002 / spe.4380180907 .
- ^ Pehong Chen; Michael A. Harrison (1988). "Desarrollo de Documentos de Representación Múltiple" . Computadora IEEE . 21 (1): 15–31. doi : 10.1109 / 2.222114 .
- ^ Bloomberg Businessweek
enlaces externos
- Michael A. Harrison en el Proyecto de genealogía matemática
- Lista de publicaciones en acm.org
- Lista de publicaciones en dblp.de