Part-Time Lecturer, Professor Emeritus
Boston
Part-Time Lecturer, Professor Emeritus
Boston
Part-Time Lecturer, Professor Emeritus
Boston
Part-Time Lecturer, Professor Emeritus
Boston
Mitchell Wand is a professor emeritus and part-time lecturer of 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 then 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 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. 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.
Mitchell Wand is a professor emeritus and part-time lecturer of 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 then 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 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. 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.
