Skip to main content

Mitchell Wand

Part-Time Lecturer

Professor Emeritus


Office Location

440 Huntington Avenue
308 West Village H
Boston, MA 02115

Mailing Address

Northeastern University
ATTN: Mitchell Wand, 202 WVH
360 Huntington Avenue
Boston, MA 02115

Research Interests

  • Probabilistic Programming Languages: This work aims to apply the benefits of modern programming-language technology to machine-learning systems that manipulate probability distributions as values.
  • Binding-Safe Programming: This work aims to create tools and techniques for writing meta-programs that are guaranteed to respect the scope of all bound variables.


  • PhD, Massachusetts Institute of Technology
  • SB, Massachusetts Institute of Technology


Mitchell Wand is a Professor Emeritus and Part-Time Lecturer in the Computer Science in the Khoury College of Computer Sciences at Northeastern University. He earned his PhD degree in 1973 from the Massachusetts Institute of Technology. He began his academic career in the Computer Science Department of Indiana University, where he was promoted to full professor in 1982. In 1985 he joined Northeastern University, where he served as associate dean of the College of Computer Science until 1991.

Professor Wand’s interests center around the semantics of programming languages and issues of compiler correctness. For the past five years, Wand has been developing the course “Program Design Paradigms,” which aims to teach systematic program design and functional programming to incoming students at the graduate level. He has developed a large body of online materials, which enables the college to give this experience to a broad audience of students.

Professor Wand is the author of over 120 published papers and three books, including “Essentials of Programming Languages,” co-authored with Daniel P. Friedman and Christopher T. Haynes of Indiana University, which is now in its third edition. Professor Wand serves on the editorial boards of Logical Methods in Computer Science and the Journal of Higher-Order and Symbolic Computation.  He is a fellow of the ACM and a senior member of IEEE.