Albert Ronald da Silva Meyer (born 1941) is Hitachi America Professoremeritus ofcomputer science atMassachusetts Institute of Technology (MIT).

Meyer received his PhD fromHarvard University in 1972 in applied mathematics, under the supervision ofPatrick C. Fischer.^[1] 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.^[2]

Meyer's seminal works includeMeyer & Stockmeyer (1972), which introduced thepolynomial hierarchy. He has supervised numerous PhD students who are now famous computer scientists; these includeNancy Lynch,Leonid Levin,Jeanne Ferrante,Charles Rackoff,Larry Stockmeyer,David Harel,Joseph Halpern,John C. Mitchell, andVal Tannen. He was the editor-in-chief of the international computer science journalInformation and Computation from 1981 until 2020.^[3]

He has been a Fellow of theAmerican Academy of Arts and Sciences (AAAS) since 1987,^[4] and he was inducted as a Fellow of theAssociation for Computing Machinery (ACM) in 2000.^[5]

He is married to the computer scientistIrene Greif.^[6]

• 1991.Research Directions in Computer Science: An MIT Perspective. (Ed. withJohn Guttag,Ronald Rivest, and Peter Szolovits) MIT Press.
• Meyer, Albert R.;Stockmeyer, Larry J. (1972). "The equivalence problem for regular expressions with squaring requires exponential space".Proc. 13th Annual Symposium on Switching and Automata Theory. pp. 125–129.doi:10.1109/SWAT.1972.29..

• Official website 
• Meyer, Albert R. atMathSciNet
• Albert R. Meyer atDBLP Bibliography Server 
• Albert Meyer papers, MC-0377. Massachusetts Institute of Technology, Department of Distinctive Collections, Cambridge, Massachusetts.