Skip to main content

About Mitchell Wand

Professor Wand focuses on programming-language semantics and their application to compiler correctness.
Throughout the 1990s, Professor Wand examined the verification of optimizing compilers, building an understanding of how a program analysis justifies the program transformation based upon it.
Professor Wand has also explored the related area of type theory, particularly as applied to object-oriented programming. He has been a leader in the study of continuations, a technique for understanding the control structure of programs. With Daniel P. Friedman and Christopher T. Haynes, he wrote Essentials of Programming Languages, a widely used textbook. He is a Fellow of the Association for Computing Machinery.

Positions

Present Professor, College of Computer and Information Science, Northeastern University
to

Disciplines


Research Interests

Programming language semantics and Compilers

Honors and Awards

  • Fellow, Association for Computing Machinery


Contact Information

202 West Village H
Northeastern University
360 Huntington Ave.
Boston, MA 02115
Phone: (617) 373-2072
Fax: (617) 373-5121

Email: