Albert R. Meyer

From Wikipedia, the free encyclopedia
Jump to: navigation, search
Albert Ronald da Silva Meyer
Born 1941 (age 75–76)
Fields Computer science
Institutions MIT
Alma mater Harvard University
Doctoral advisor Patrick C. Fischer
Doctoral students Nancy Lynch, Leonid Levin, Jeanne Ferrante, Charles Rackoff, Larry Stockmeyer, David Harel, Joseph Halpern, John C. Mitchell
Notable awards ACM Fellow (2000)
Spouse Irene Greif
Website
people.csail.mit.edu/meyer/

Albert Ronald da Silva Meyer (born 1941) is a professor of computer science at Massachusetts Institute of Technology (MIT).

Biography[edit]

Meyer received his PhD from Harvard University in 1972 in applied mathematics, under the supervision of Patrick C. Fischer.[1] He has been at MIT since 1969.

Academic life[edit]

Mathematics for Computer Science (2017) by Eric Lehman, F. Thomson Leighton, and Albert R. Meyer

Meyer's seminal works include 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, and John C. Mitchell.

Awards[edit]

He has been a Fellow of the American Academy of Arts and Sciences (AAAS) since 1987,[2] and he was inducted as a Fellow of the Association for Computing Machinery (ACM) in 2000.[3] He is the editor-in-chief of the international computer science journal Information and Computation.[4]

Personal life[edit]

He is married to the computer scientist, Irene Greif.[5]

Publications[edit]

References[edit]

  1. ^ Albert Ronald da Silva Meyer at the Mathematics Genealogy Project.
  2. ^ "M" (PDF). Members of the American Academy of Arts & Sciences: 1780–2005. 
  3. ^ "ACM Fellows".  "ACM: Fellows Award / Albert R Meyer".  "For fundamental advances in complexity theory and semantics of programming, and for outstanding service and education of graduate students."
  4. ^ Information and Computation
  5. ^ McCluskey, Eileen (20 October 2008). "Irene Greif '69, SM '72, PhD '75 Knitting together computers and people". MIT Technology Review. Retrieved 19 April 2014. 

External links[edit]