Back to Faculty/Researchers

Prof. Albert R Meyer

Professor of Computer Science, Emeritus
Editor-in-Chief, Information and Computation (An International Journal)

Primary DLC

Department of Electrical Engineering and Computer Science

MIT Room: 1
http://theory.lcs.mit.edu/~meyer/

Areas of Interest and Expertise

Programming Theory
Logic and Semantics
Computational Complexity
Concurrent Programs
Lambda Calculus and Category Theory
Decision Procedures in Logic
Semantics of Programming Languages
Theory of Computation
Software Education Environments
Logic of Programs
Educational Technology and Assessment

Recent Work

Related Faculty

Rose Taj Faghih

Research Affiliate

Dr. Christopher J Terman

Senior Lecturer Emeritus

Peter Raymond Florence

Graduate Student