Albert R. Meyer's Resumé

Albert R. Meyer

Curriculum Vitae (July, 2005)

Title: Hitachi America Professor of Engineering
Address: MIT Computer Science & AI Laboratory
The Stata Center 32-G624
32 Vassar Street
Cambridge MA 02139
Phone: (617) 253-6024

Research Interests

Active and Distance Learning. Logic and semantics of programming languages. Earlier work in computational complexity including first formulation of the polynomial-time hierarchy.

Professional Positions

Professional Activities


Harvard University Ph.D. (Applied Mathematics) 1972
Harvard University M.S. (Applied Mathematics) 1965
Harvard College A.B. (cum laude) 1963

Selected Publications


  1. Lehman, E., F.T. Leighton, and A.R. Meyer, Mathematics for Computer Science, Spring 2015 draft (pdf).
  2. Ito, T., and A.R. Meyer, eds., Theoretical Aspects of Computer Software, Proceedings of an International Symposium, Springer-Verlag, Lecture Notes in Comp. Sci. 526, September, 1991.
  3. Meyer, A.R., J. Guttag, R. Rivest, and P. Szolovits, eds., Research Directions in Computer Science: An MIT Perspective, MIT Press, Cambridge Mass., 1991, 490pp.
  4. Meyer, A.R. and M.A. Taitslin, eds., Logic at Botic,'89: Proceedings of a Symposium on Logical Foundations of Computer Science, Springer-Verlag, Lecture Notes in Comp. Sci. 363, July, 1989.


  1. Stockmeyer, L.J. and A.R. Meyer, ``Cosmological Lower Bounds on the Circuit Complexity of a Small Problem in Logic'' (pdf), J. ACM 49, 6 (Nov. 2002), 753-784.
  2. Jim, T. and A.R. Meyer, ``Full Abstraction and the Context Lemma (ps),'' SIAM J. Computation 25, 3 (1996), 663-696.
  3. Jategaonkar, L. and A.R. Meyer, ``Deciding True Concurrency Equivalences on Finite Safe Nets,'' Theoretical Computer Science 154 (Jan. 1996), 107-143.
  4. Seiferas, J.I. and A.R. Meyer, ``Characterization of Realizable Space Complexities,'' Ann. Pure and Applied Logic 73 (1995), 171-190.
  5. Bloom, B., S. Istrail, and A.R. Meyer, ``Bisimulation Can't Be Traced,'' J. ACM 42, 1 (1995), 232-268.
  6. Bloom, B. and A.R. Meyer, ``Experimenting with Process Equivalence'' (pdf), Theoretical Computer Science 101(2) (1992), 223--237.
  7. Bruce, K.B., A.R. Meyer and J.C. Mitchell, ``The Semantics of Second-Order Lambda Calculus,'' Information and Computation, 85 (1990), 76-134. Reprinted in: Gerard Huet, editor. Logical Foundations of Functional Programming, chapter 10, pages 213-272. University of Texas at Austin Year of Programming Series. Addison-Wesley Publishing Company, 1990.
  8. Meyer, A.R. "Puzzles in Programming Logic (pdf)," unpublished (1986)
  9. Meyer, A.R. and M.B. Reinhold, `` `Type' is Not a Type,'' 13th ACM Symp. POPL (Jan., 1986), 287--295.
  10. Meyer, A.R., ``What is a Model of the Lambda Calculus?'', Information and Control 52,1 (1982), 87-122.
  11. Mayr, E. and A.R. Meyer, ``The Complexity of the Word Problems for Commutative Semigroups and Polynomial Ideals,'' Advances in Mathematics 46,3 (1982), 305-329.
  12. Mayr, E. and A.R. Meyer, ``The Complexity of the Finite Containment Problem for Petri Nets,'' J. ACM 28, 3 (July, 1981), 561-576.
  13. Seiferas, J., M.J. Fischer and A.R. Meyer, ``Separating Nondeterministic Time Complexity Classes'' J. ACM 25,l (1978), 146--167.
  14. Meyer, A.R., `` Weak Monadic Second Order Theory of Successor is not Elementary-Recursive (pdf),'' Logic Colloquium, Lecture Notes in Mathematics 453, Springer-Verlag, N.Y., (1975), 132--154.
  15. Meyer, A.R., ``The Inherent Computational Complexity of Theories of Ordered Sets (tif),'' in Proc. Int'l. Cong. of Mathematicians, August 21--29, 1974, vol. 2, 477--482.
  16. Stockmeyer, L. and A.R. Meyer, ``Word Problems Requiring Exponential Time'' (pdf), 5th ACM Symp. on Theory of Computing, (May, 1973), 1-10.
  17. Meyer, A.R. and L. Stockmeyer, ``The Equivalence Problem for Regular Expressions with Squaring Requires Exponential Space'' (pdf), 13th IEEE Symp. on Switching and Automata Theory, (Oct., 1972), 125-129.
  18. Meyer, A.R., ``Program Size in Restricted Programming Languages,'' Information and Control 2l, 4 (1972), 382-394.
  19. Meyer, A.R. and M.J. Fischer, ``Economy of Description by Automata, Grammars, and Formal Systems'' (pdf, 4M), 12th IEEE Symp. on Switching and Automata Theory, (1971), 188--191.
  20. Even, S, and A.R. Meyer, "Sequential Boolean equations (pdf)," IEEE Trans. Computers, No. 03 (March 1969) vol. 18, 230-240.
  21. McCreight, E.M., and A.R. Meyer, ``Classes of Computable Functions Defined by Bounds on Computation (pdf) ,'' 1st ACM Symp. Theory of Computing, (May, 1969), 79--88.
  22. Meyer, A.R. and C. Thompson, ``Remarks on Algebraic Decomposition of Automata,'' (pdf), Mathematical Systems Theory 3, 2 (1969), 110--118.
  23. Meyer, A.R. and D.M. Ritchie, ``The Complexity of Loop Programs, (pdf)'' Proc. 22nd National ACM Conf., Thompson, Washington, D.C., (Aug., 1967), 465--470. (Awarded prize for best paper.)

Courses Taught

mit Copyright © 2007, Albert R. Meyer. All rights reserved.

This document last modified Thursday, 29-Dec-2016 16:31:33 EST