Albert R. Meyer
{{Short description|American theoretical computer scientist}}
{{Infobox scientist
|name = Albert Ronald da Silva Meyer
|image =
|image_size =
|caption =
|birth_date = {{birth date and age|1941|11|05}}
|birth_place =
|residence =
|citizenship =
|nationality =
|fields = Computer science
|workplaces = MIT
|alma_mater = Harvard University
|doctoral_advisor = Patrick C. Fischer
|academic_advisors =
|doctoral_students = Nancy Lynch, Leonid Levin, Jeanne Ferrante, Charles Rackoff, Larry Stockmeyer, David Harel, Joseph Halpern, John C. Mitchell, Edward McCreight, Val Tannen
|notable_students =
|known_for =
|author_abbrev_bot =
|author_abbrev_zoo =
|influences =
|influenced =
|awards = ACM Fellow (2000)
|signature =
|website = {{URL|http://people.csail.mit.edu/meyer/}}
|spouse = Irene Greif
|footnotes =
}}
Albert Ronald da Silva Meyer (born 1941) is Hitachi America Professor emeritus of computer science at Massachusetts Institute of Technology (MIT).
Biography
Meyer received his PhD from Harvard University in 1972 in applied mathematics, under the supervision of Patrick C. Fischer.{{mathgenealogy|name=Albert Ronald da Silva Meyer|id=25184}}. He joined the Department of Electrical Engineering and Computer Science (EECS) faculty at MIT in 1969. Meyer became the Hitachi America Professor of Computer Science and Engineering in 1991. He retired from MIT in 2016.{{Cite web|title=Collection: Albert Meyer papers {{!}} MIT ArchivesSpace|url=https://archivesspace.mit.edu/repositories/2/resources/872|access-date=2020-07-22|website=archivesspace.mit.edu}}
Academic life
File:Mathematics for Computer Science by Eric Lehman, F. Thomson Leighton, and Albert R. Meyer.pdf
Meyer's seminal works include {{harvtxt|Meyer|Stockmeyer|1972}}, which introduced the polynomial hierarchy. He has supervised numerous PhD students who are now famous computer scientists; these include Nancy Lynch, Leonid Levin, Jeanne Ferrante, Charles Rackoff, Larry Stockmeyer, David Harel, Joseph Halpern, John C. Mitchell, and Val Tannen. He was the editor-in-chief of the international computer science journal Information and Computation from 1981 until 2020.[http://www.journals.elsevier.com/information-and-computation/ Information and Computation]
Awards
He has been a Fellow of the American Academy of Arts and Sciences (AAAS) since 1987,{{cite web
| url=http://www.amacad.org/publications/BookofMembers/ChapterM.pdf
| title=M
| work=Members of the American Academy of Arts & Sciences: 1780–2005
}} and he was inducted as a Fellow of the Association for Computing Machinery (ACM) in 2000.{{cite web
|url = http://fellows.acm.org/homepage.cfm?alpha=M&srt=alpha
|title = ACM Fellows
|url-status=dead
|archive-url = https://web.archive.org/web/20090101062504/http://fellows.acm.org/homepage.cfm?alpha=M&srt=alpha
|archive-date = 2009-01-01
}}
{{cite web
|url = http://fellows.acm.org/fellow_citation.cfm?id=1215300&srt=all
|title = ACM: Fellows Award / Albert R Meyer
|access-date = 2009-06-07
|archive-url = https://web.archive.org/web/20071214190812/http://fellows.acm.org/fellow_citation.cfm?id=1215300&srt=all
|archive-date = 2007-12-14
|url-status=dead
}} "For fundamental advances in complexity theory and semantics of programming, and for outstanding service and education of graduate students."
Personal life
He is married to the computer scientist Irene Greif.{{cite news|last=McCluskey|first=Eileen|title=Irene Greif '69, SM '72, PhD '75 Knitting together computers and people|url=http://www.technologyreview.com/article/410994/irene-greif-69-sm-72-phd-75/|access-date=19 April 2014|newspaper=MIT Technology Review|date=20 October 2008}}
Publications
- 1991. Research Directions in Computer Science: An MIT Perspective. (Ed. with John Guttag, Ronald Rivest, and Peter Szolovits) MIT Press.
- {{Cite book
| chapter=The equivalence problem for regular expressions with squaring requires exponential space
| last1=Meyer | first1=Albert R.
| last2=Stockmeyer | first2=Larry J. | authorlink2=Larry Stockmeyer
| title=Proc. 13th Annual Symposium on Switching and Automata Theory
| pages=125–129
| year=1972
| doi=10.1109/SWAT.1972.29
| title-link=Symposium on Switching and Automata Theory }}.
References
{{reflist}}
External links
{{sister project links|d=Q4711067|q=no|n=no|b=no|v=no|voy=no|m=no|mw=no|species=no|c=Category:Albert R. Meyer|wikt=no|s=Author:Albert Ronald da Silva Meyer}}
- {{Official website}}
- [https://www.ams.org/mathscinet/MRAuthorID/123990 Meyer, Albert R.] at MathSciNet
- {{DBLP|name=Albert R. Meyer}}
- [https://archivesspace.mit.edu/repositories/2/resources/872 Albert Meyer papers], MC-0377. Massachusetts Institute of Technology, Department of Distinctive Collections, Cambridge, Massachusetts.
{{Authority control}}
{{DEFAULTSORT:Meyer, Albert R.}}
Category:American theoretical computer scientists
Category:2000 fellows of the Association for Computing Machinery
Category:Fellows of the American Academy of Arts and Sciences
Category:MIT School of Engineering faculty
Category:Harvard University alumni
{{compu-scientist-stub}}