Institutions MIT Spouse Irene Greif Alma mater Harvard University Education Harvard University | Notable awards ACM Fellow (2000) Fields Computer Science Name Albert Meyer | |
 | ||
Doctoral students Nancy Lynch, Leonid Levin, Jeanne Ferrante, Charles Rackoff, Larry Stockmeyer, David Harel, Joseph Halpern, John C. Mitchell Notable students John C. Mitchell, David Harel, Joseph Halpern, Charles Rackoff, Leonid Levin Similar People Patrick C Fischer, John C Mitchell, David Harel, Joseph Halpern, Charles Rackoff | ||
Doctoral advisor Patrick C. Fischer | ||
Albert Ronald da Silva Meyer (born 1941) is a professor of computer science at Massachusetts Institute of Technology (MIT).
Contents
Biography
Meyer received his PhD from Harvard University in 1972 in applied mathematics, under the supervision of Patrick C. Fischer. He has been at MIT since 1969.
Academic life
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
He has been a Fellow of the American Academy of Arts and Sciences (AAAS) since 1987, and he was inducted as a Fellow of the Association for Computing Machinery (ACM) in 2000. He is the editor-in-chief of the international computer science journal Information and Computation.
Personal life
He is married to the computer scientist, Irene Greif.