Michael Alexander Harrison est un informaticien et, en particulier, un pionnier dans le domaine de la théorie des langages formels.
Carrière Michael A. Harrison, né à Philadelphie, en Pennsylvanie, étudie le génie électrique et l'informatique pour son B. Sc. et M. Sc., puis il obtient en 1963 un Ph. D. en sciences de la communication à l'université du Michigan sous la direction de Harvey Garner avec une thèse intitulée .. Il commence à enseigner à l'université du Michigan pendant ses années de préparation de thèse, puis il rejoint le département de génie électrique à l'université de Californie à Berkeley. Il est professeur assistant de 1963 à 1966, professeur associé de 1966 à 1971, et professeur titulaire de 1971 à 1994Curriculum vitæ sur la page de Harrison..
En 1995, Il est professeur émérite et aussi professeur à l'école de graduation de Berkeley.
Activités de recherche Dans les années 1960, Michael A. Harrison travaille dans un groupe de recherche formé et dirigé par Seymour Ginsburg, groupe qui comporte notamment Sheila Greibach, Gene Rose, Edwin H. Spanier et Joe Ullian. Cette équipe travaille en théorie des langages formels et jette les bases d'une théorie qui fait maintenant partie des bases de l'informatique théorique, avec des applications en linguistique et dans les langages de programmation..
En 1975, il développe le modèle HRU (appelé ainsi d'après ses auteurs Harrison, Walter L. Ruzzo et Jeffrey Ullman), un modèle de contrôle d'accès discrétionnaire, à base de matrice d'accès.
Avec , alors son étudiant en Ph. D. à l'université de Californie à Berkeley., il fonde une entreprise appelée pour un système multimédia pour des stations Unix. Cette société est rachetée par Sybase en 1992Bloomberg Businessweek..
Notes et références
Ouvrages en théorie des langages formels
Liens externes Page personnelle à l'université de Berkeley Liste des publications sur le sit de l'ACM Liste de publications sur DBLP
Catégorie:Personnalité en informatique théorique Catégorie:Étudiant de l'université du Michigan Catégorie:Professeur à l'université de Californie à Berkeley Catégorie:Boursier Guggenheim