Michael A. Harrison
Michael Alexander Harrison est un informaticien et, en particulier, un pionnier dans le domaine de la théorie des langages formels.
| 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 |
Carrière modifier
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 modifier
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 modifier
- (en) « Michael A. Harrison », sur le site du Mathematics Genealogy Project.
- Curriculum vitæ sur la page de Harrison.
- 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).
- 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)
- 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.
- Bloomberg Businessweek.
Ouvrages en théorie des langages formels modifier
- (en) Michael A. Harrison, Introduction to formal language theory, Reading, Mass., Addison-Wesley, , xiv+594 (ISBN 0-201-02955-3, OCLC 266962302, MR 0526397)
- (en) Michael A. Harrison, Lectures on linear sequential machines, New York-Londres, Academic Press, , x+210 (ISBN 0-12-327750-7, MR 0285308)
- (en) Michael A. Harrison, Introduction to switching and automata theory, New York-Toronto-Londres, McGraw-Hill, , xvii+499 (ISBN 978-0-07-026850-0, MR 0186503)
Liens externes modifier
- Page personnelle à l'université de Berkeley
- Liste des publications sur le sit de l'ACM
- Liste de publications sur DBLP
