Meyer, the Hitachi America Professor of Engineering (since 1991) and principal investigator in the Computer Science and Artificial Intelligence Lab (CSAIL), has published more than 60 papers spanning theoretical computer science. With his student, Larry Stockmeyer, Meyer formulated the polynomial-time hierarchy and the first proofs of the exponential complexity of known decision problems. He has contributed extensively to type theory and semantics of programming languages and concurrent processes. As an outgrowth of his recent responsibility for several large introductory courses, he has become interested in education, in particular, active learning and educational technology.
Meyer is a pioneer of the “flipped” classroom for 6.042 (which he has taught since 1999). Lectures are recorded before class and class time devoted entirely to supervised team problem-solving. He has held a number of administrative positions including EECS Area II chair (1981-1985); associate head of the Lab for Computer Science (1979-1981); member of the MIT Committee on the Educational Commons from 2004-2007; chair of the MIT Committee on Curricula from 2004-2006; and secretary of the faculty from 2010-2012. He joined the MIT faculty in 1969 following his education at Harvard University (AB '63, MS '65, PhD '72).
As the Undergraduate Officer, Professor Meyer will have oversight of the undergraduate and the Masters of Engineering (MEng) program. He will be responsible for MEng admission decisions and running department advising meetings. He will also deal with individual student issues referred by the undergraduate administrators and instructors, and will participate in USAGE meetings to get student input on various initiatives.
An ACM Fellow (1999), Professor Meyer has guided 27 PhD thesis graduates, many now prominent faculty members in leading departments, including at MIT. He is also a Fellow of the American Academy of Arts and Science (1987), and has been editor-in-chief of the journal Information and Computation since 1982. He has been a member (or chair) of program committees and organizing committees for numerous symposia and workshops sponsored by ACM, IEEE, EATCS, AMS, ASL, NSF, SDC, IBM, INRIA, CSSR, USSR, and Japan Info Processing Society.