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
(617) 332-8194
http://theory.lcs.mit.edu.ezproxy.canberra.edu.au/~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

Prof. Piotr Indyk

Thomas D and Virginia W Cabot Professor of Computer Science and Engineering

Yu-Hsin Chen

Senior Research Support Associate

Mohanned M Elkholy

Graduate Student