User:Dave Herman/Mitchell Wand

Mitchell Wand is a computer science professor and researcher in the area of programming languages.

Wand is currently a Professor in the College of Computer and Information Science at Northeastern University in Boston, Massachusetts. In the past he has taught at Indiana University. He is perhaps best known as a co-author of the textbook Essentials of Programming Languages (MIT Press, 2008).

Wand's research interests include functional programming, object-oriented programming, aspect-oriented programming, formal semantics, formal verification, correctness of compilers and program transformations, continuations, type theory and hygienic macros. In the early 1990's, he collaborated with Joshua D. Guttman and John Ramsdell to produce VLISP, a fully verified compiler for Scheme. He has also served as an editor and member of the steering committee for the Scheme language standard.

In 2007 he was inducted as a Fellow of the Association for Computing Machinery.

Books
Wand is (co-)author of:
 * ''Essentials of Programming Languages (MIT Press, 2008)
 * VLISP: A Verified Implementation of Scheme (Springer, 1995)
 * Induction, Recursion and Programming (Elsevier, 1980)