Michael A. Harrison

Michael A. Harrison

Naissance Philadelphie, PA, États-Unis
Domaines Informatique théorique, théorie des langages,
Institutions Université de Californie à Berkeley
Diplôme Ph. D.
Formation Université du Michigan
Directeur de thèse Harvey Garner
Étudiants en thèse Oscar H. Ibarra, James N. Gray, John C. Beatty, Walter Larry Ruzzo, Kimberly N. King, Arnaldo Moura, Pehong Chen, Michael Van De Vanter, Ethan Munson[1]
Renommé pour Livre Introduction to Formal Language Theory, modèle HRU
Site www.cs.berkeley.edu/~harrison

modifier

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 « Combinatorial Problems in Boolean Algebras and Applications to the Theory of Switching »[1]. 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 à 1994[2].

En 1995, Il est professeur émérite et aussi professeur à l'école de graduation de Berkeley[2].

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[3].

En 1975, il développe le modèle HRU (appelé ainsi d'après ses auteurs Harrison, Walter L. Ruzzo (en) et Jeffrey Ullman), un modèle de contrôle d'accès discrétionnaire, à base de matrice d'accès[4].

Avec Pehong Chen (en), alors son étudiant en Ph. D. à l'université de Californie à Berkeley[5], il fonde une entreprise appelée « Gain Technology » pour un système multimédia pour des stations Unix. Cette société est rachetée par Sybase en 1992[6].

Notes et références

  1. ↑ a et b (en) « Michael A. Harrison », sur le site du Mathematics Genealogy Project.
  2. ↑ a et b Curriculum vitæ sur la page de Harrison.
  3. ↑ Serge Abiteboul, R. Hull et V. Vianu, « In memory of Seymour Ginsburg 1928 - 2004 », ACM SIGMOD Record, vol. 34, no 1,‎ , p. 5 (DOI 10.1145/1058150.1058152).
  4. ↑ Michael A. Harrison, Walter L. Ruzzo et Jeffrey D. Ullman, « Protection in Operating Systems », Communications of the ACM, vol. 19, no 8,‎ , p. 461–471 (DOI 10.1145/360303.360333, lire en ligne)
  5. ↑ Pehong Chen, John Coker, Michael A. Harrison, Jeffrey W. McCarrell, Steve Procter, « The VorTeX Document Preparation Environment », dans Jacques Désarménien (éditeur), 2nd Eur. Conf. on TeX for Scientific Documentation, , p. 45–54.
  6. ↑ Bloomberg Businessweek.

Ouvrages en théorie des langages formels

Liens externes