Albert R. Meyer

Albert Ronald da Silva Meyer (né en 1941) est professeur d'informatique au Massachusetts Institute of Technology (MIT).

Albert Ronald da Silva Meyer

Biographie

Naissance	5 novembre 1941 (82 ans)
Nationalité	américaine
Formation	Université Harvard
Activités	Ingénieur, mathématicien, informaticien, professeur d'université
Conjoint	Irene Greif

Autres informations

A travaillé pour	Institut de technologie du Massachusetts
Membre de	Association for Computing Machinery (2000) Académie américaine des arts et des sciences
Directeur de thèse	Patrick C. Fischer
Site web	(en) people.csail.mit.edu/meyer
Distinctions	ACM Fellow (2000) Membre de l'Académie américaine des arts et des sciences
Archives conservées par	Bibliothèques de l'Institut de technologie du Massachusetts (en)[1]

modifier - modifier le code - modifier Wikidata

Biographie

Albert Meyer fait toutes ses études supérieures à l'université Harvard. Il soutient un doctorat Ph. D. en 1972 en mathématiques appliquées, préparé sous la direction de Patrick C. Fischer^[2]. Il occupe de 1967 à 1969 un poste de professeur assistant en informatique à l'université Carnegie-Mellon, et il est en poste au MIT comme professeur depuis 1969. En février 1991, il est nommé sur une chaire de Hitachi America.

Recherche

L'une des contributions importantes d'Albert Meyer est l'article écrit avec Larry Stockmeyer (Meyer et Stockmeyer 1972) introduisant la hiérarchie polynomiale. Cette hiérarchie fait maintenant partie des notions de base en théorie de la complexité^[3].

Il a dirigé les thèses de Ph.D. d'un nombre imposant de d'étudiants dont de nombreux sont devenus des scientifiques informaticiens réputés, parmi lesquels Edward M. McCreight, Nancy Lynch, Leonid Levin, Jeanne Ferrante, Charles Rackoff, Larry Stockmeyer, David Harel, Joseph Y. Halpern, et John C. Mitchell (en).

Il est éditeur-en-chef du journal d'informatique théorique Information and Computation.

Distinctions

• Il est élu membre de l'académie américaine des arts et des sciences (AAAS) en 1987^[4].
• Il est nommé Fellow (membre distingué) de l'Association for Computing Machinery (ACM) en 2000^[5].

Publications

• Albert R. Meyer et Larry J. Stockmeyer, « The equivalence problem for regular expressions with squaring requires exponential space », dans Proc. 13th Annual Symposium on Switching and Automata Theory, 25-27 octobre 1972, 1972 (DOI 10.1109/SWAT.1972.29), p. 125–129. DOI 10.1109/SWAT.1972.29

Notes

1. « https://archivesspace.mit.edu/repositories/2/resources/872 »
2. (en) « Albert Ronald da Silva Meyer », sur le site du Mathematics Genealogy Project.
3. C'est par exemple le sujet du chapitre 5 du livre d'Arora et Barak.
4. « M », Members of the American Academy of Arts & Sciences: 1780–2005.
5. « ACM Fellows », Association for Computing Machinery^,« ACM: Fellows Award / Albert R Meyer », Association for Computing Machinery « pour ses avances fondamentales en théorie de complexité et en sémantique de la programmation, et ses services exceptionnels et la formation d'étudiants avancés ».

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Albert R. Meyer » (voir la liste des auteurs).

Référence

• (en) Sanjeev Arora et Boaz Barak, Computational Complexity : A Modern Approach, Cambridge University Press, 2009 (ISBN 0-521-42426-7), chap. 5 (« Polynomial hierarchy »).

Liens externes

• (en) Site officiel
• Ressources relatives à la recherche :
  • Digital Bibliography & Library Project
  • Mathematics Genealogy Project
• Notices d'autorité :

  • VIAF
  • ISNI
  • IdRef
  • LCCN
  • Italie
  • CiNii
  • Belgique
  • Pays-Bas
  • Israël
  • NUKAT
  • Australie
  • Norvège
  • Tchéquie
  • WorldCat
• Albert R. Meyer sur DBLP.

• Portail de l'informatique théorique