Albert Ronald da Silva Meyer (born 1941) is a professor of computer science

Computer science

Computer science or computing science is the study of the theoretical foundations of information and computation and of practical techniques for their implementation and application in computer systems...

 at Massachusetts Institute of Technology

Massachusetts Institute of Technology

The Massachusetts Institute of Technology is a private research university located in Cambridge, Massachusetts. MIT has five schools and one college, containing a total of 32 academic departments, with a strong emphasis on scientific and technological education and research.Founded in 1861 in...

 (MIT). He has been a Fellow of the American Academy of Arts and Sciences

American Academy of Arts and Sciences

The American Academy of Arts and Sciences is an independent policy research center that conducts multidisciplinary studies of complex and emerging problems. The Academy’s elected members are leaders in the academic disciplines, the arts, business, and public affairs.James Bowdoin, John Adams, and...

 (AAAS) since 1987, and he was inducted as a Fellow of the Association for Computing Machinery

Association for Computing Machinery

The Association for Computing Machinery is a learned society for computing. It was founded in 1947 as the world's first scientific and educational computing society. Its membership is more than 92,000 as of 2009...

 (ACM) in 2000.

Meyer's seminal works include which introduced the polynomial hierarchy

Polynomial hierarchy

In computational complexity theory, the polynomial hierarchy is a hierarchy of complexity classes that generalize the classes P, NP and co-NP to oracle machines...

. He has supervised numerous PhD students who are now famous computer scientists; these include Nancy Lynch

Nancy Lynch

Nancy Ann Lynch is a professor at the Massachusetts Institute of Technology. She is the NEC Professor of Software Science and Engineering in the EECS department and heads the Theory of Distributed Systems research group at MIT's Computer Science and Artificial Intelligence Laboratory.She is the...

, Leonid Levin

Leonid Levin

-External links:* at Boston University....

, Jeanne Ferrante

Jeanne Ferrante

Jeanne Ferrante is a computer scientist active in the field of compiler technology, where she has made important contributions regarding optimization and parallelization....

, Charles Rackoff

Charles Rackoff

Charles Weill Rackoff is an American cryptologist. Born and raised in New York City, Rackoff attended MIT as both an undergraduate and graduate student, and earned a Ph.D. degree in Computer Science in 1974. He spent a year as a postdoctoral scholar at INRIA in France.He currently works at the...

, Larry Stockmeyer

Larry Stockmeyer

Larry Joseph Stockmeyer was a computer scientist. He was one of the pioneers in the field of computational complexity theory, and he also worked in the field of distributed computing...

, David Harel

David Harel

David Harel is a professor of computer science at the Weizmann Institute of Science in Israel. Born in London, England, he was Dean of the Faculty of Mathematics and Computer Science at the institute for seven years.-Biography:...

, Joseph Halpern

Joseph Halpern

Joseph Yehuda Halpern is a professor of computer science at Cornell University. Most of his research is on reasoning about knowledge and uncertainty....

, and John C. Mitchell

John C. Mitchell

John Clifford Mitchell is professor of computer science and electrical engineering at Stanford University. He has published in the area of programming language theory and computer security....

.

Meyer received his PhD from Harvard University

Harvard University

Harvard University is a private Ivy League university located in Cambridge, Massachusetts, United States, established in 1636 by the Massachusetts legislature. Harvard is the oldest institution of higher learning in the United States and the first corporation chartered in the country...

 in 1972 in applied mathematics, under the supervision of Patrick C. Fischer

Patrick C. Fischer

Patrick Carl Fischer was an American computer scientist, a noted researcher in computational complexity theory and database theory, and a target of the Unabomber.-Biography:...

. He has been at MIT since 1969.

External links