Loading AI tools
Michael Alexander Harrison est un informaticien et, en particulier, un pionnier dans le domaine de la théorie des langages formels.
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 |
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].
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].
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
