Mitchell Wand

Research interests

• Probabilistic programming languages
• Binding-safe programming

Education

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

Biography

Mitchell Wand is a professor emeritus and part-time lecturer of computer science in the Khoury College of Computer Sciences at Northeastern University.

Wand began his academic career in the Department of Computer Science at Indiana University, where he was promoted to full professor in 1982. In 1985, he joined Northeastern, where he served as associate dean of Khoury College until 1991.

Wand’s interests center around the semantics of programming languages and issues of compiler correctness. He is the author of more than 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. Wand serves on the editorial boards of Logical Methods in Computer Science and the Journal of Higher-Order and Symbolic Computation. He is also a fellow of the ACM and a senior member of IEEE.

Recent publications