stringtranslate.com

Michael Harrison

Michael A. Harrison es un informático , especialmente un pionero en el campo de los lenguajes formales .

Biografía

Michael A. Harrison (nacido en Filadelfia, Pensilvania, EE. UU.) estudió ingeniería eléctrica e informática para obtener una licenciatura y una maestría en el Case Institute of Technology y luego recibió un doctorado en Ciencias de la Comunicación de la Universidad de Michigan . Fue profesor asistente de 1963 a 1966 en la Universidad de Michigan y luego se unió a la facultad del Departamento de EE de 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 aportó el campo de la teoría del lenguaje formal a la investigación de los lenguajes de programación . [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [ citas excesivas ]

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 al 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 de la escuela de posgrado de Berkeley. [1]

Vida personal

Harrison está casado con Susan L. Graham , profesora emérita distinguida de Pehong Chen en la División de Ciencias de la Computación del Departamento de Ingeniería Eléctrica y Ciencias de la Computación de la Universidad de California, Berkeley . [21]

Referencias

  1. ^ ab Long Vita en la página de inicio de Harrison
  2. ^ Abiteboul, S .; Casco, R.; Vianu, V. (marzo de 2005), "En memoria de Seymour Ginsburg, 1928-2004", Registro ACM SIGMOD , 34 (1): 5, doi :10.1145/1058150.1058152, S2CID  11825012
  3. ^ Seymour Ginsburg; Sheila A. Greibach; Michael A. Harrison (1967). "Autómatas de pila unidireccional". J. ACM . 14 (2): 389–418. doi : 10.1145/321386.321403 .
  4. ^ Seymour Ginsburg; Sheila A. Greibach; Michael A. Harrison (1967). "Apilar autómatas y compilar". J. ACM . 14 (1): 172–201. doi : 10.1145/321371.321385 .
  5. ^ Seymour Ginsburg; Michael A. Harrison (1967). "Idiomas libres de contexto entre corchetes". J. Computación. Sistema. Ciencia . 1 (1): 1–23. doi :10.1016/s0022-0000(67)80003-5.
  6. ^ Jim Gray; Michael A. Harrison; Óscar 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.
  7. ^ Hervé Gallaire; Jim Gray; Michael A. Harrison; Gabor T. Herman (1968). "Máquinas secuenciales lineales infinitas". J. Computación. Sistema. Ciencia . 2 (4): 381–419. doi :10.1016/s0022-0000(68)80035-2.
  8. ^ Michael A. Harrison; Óscar H. Ibarra (1968). "Autómatas pushdown de múltiples cintas y múltiples cabezales". Información y Control . 13 (5): 433–470. doi : 10.1016/s0019-9958(68)90901-7 .
  9. ^ 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 .
  10. ^ Seymour Ginsburg; Michael A. Harrison (1968). "Sobre la eliminación de los marcadores finales". Información y Control . 12 (2): 103-115. doi :10.1016/s0019-9958(68)90221-0.
  11. ^ Seymour Ginsburg; Michael A. Harrison (1970). "Sobre el cierre de AFL en reversión". Información y Control . 17 (4): 395–409. doi : 10.1016/s0019-9958(70)80035-3 .
  12. ^ Michael A. Harrison; Walter L. Ruzzo; Jeffrey D. Ullman (1975). "Sobre la protección en el sistema operativo". Proc. 5to Síntoma. sobre principios de sistemas operativos (SOSP) . págs. 14-24.
  13. ^ Michael A. Harrison (1975). "Sobre Modelos de Protección en Sistemas Operativos". En Jirí Becvár (ed.). IV Simposio sobre Fundamentos Matemáticos de la Informática (MFCS) . LNCS. vol. 32. págs. 46–60.
  14. ^ 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. 
  15. ^ Michael A. Harrison (1985). "Cuestiones teóricas relativas a la protección en sistemas operativos". Avances en Computadoras . vol. 24. págs. 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). "El entorno de preparación de documentos VorTeX". En Jacques Désarménien (ed.). 2ª Eur. Conf. en TeX para documentación científica . págs. 45–54.
  17. ^ 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. en TeX para documentación científica . págs. 32–44.
  18. ^ Pehong Chen; Michael A. Harrison (1988). "Preparación y procesamiento de índices". Software: práctica y experiencia . 18 (9): 897–915. CiteSeerX 10.1.1.169.9719 . doi : 10.1002/spe.4380180907. S2CID  14196169. 
  19. ^ 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. S2CID  8384587.
  20. ^ Semana empresarial de Bloomberg
  21. ^ Susan L Graham y Helen Meyer nombradas copresidentas de Cal Performances en UC Berkeley

enlaces externos