World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
43
Citations
7887
World Ranking
7983
National Ranking
3435

Research.com Recognitions

  • 2007 - ACM Fellow For contributions to type theory and program analysis.

Overview

Mitchell Wand is affiliated with Northeastern University in the United States. Their research focuses on areas within computer science, particularly in computational theory, artificial intelligence, and mathematics related to computation.

The following topics represent the main areas of Wand's work:

  • Logic, programming, and type systems
  • Semigroups and automata theory
  • Formal methods in verification

Wand's contributions span several subfields and specific areas, including computational theory and mathematics as well as artificial intelligence.

The scientist has published in recognized academic venues such as:

  • Proceedings of the ACM on Programming Languages

An example of a recent paper authored by Wand is:

  • "Hygienic macro technology," published in 2020 in Proceedings of the ACM on Programming Languages

Frequent collaborations include work with William Clinger.

In recognition of contributions to the field, Wand was named an ACM Fellow in 2007, with the citation noting achievements in type theory and program analysis.

Best Publications

  • Revised Report on the Algorithmic Language Scheme

    H. Abelson;R. K. Dybvig;C. T. Haynes;G. J. Rozas

  • Revised4 report on the algorithmic language scheme

    H. Abelson;R. K. Dybvig;C. T. Haynes;G. J. Rozas

  • Essentials of Programming Languages

    Daniel P. Friedman;Christopher T. Haynes;Mitchell Wand

  • Type inference for record concatenation and multiple inheritance

    Mitchell Wand

  • A semantics for advice and dynamic join points in aspect-oriented programming

    Mitchell Wand;Gregor Kiczales;Christopher Dutchyn

  • Complete Type Inference for Simple Objects

    Mitchell Wand

  • Continuation-based multiprocessing

    Mitchell Wand

  • Final algebra semantics and data type extensions

    Mitchell Wand

  • The mystery of the tower revealed: A nonreflective description of the reflective tower

    Mitchell Wand;Daniel P. Friedman

  • Continuation-Based Program Transformation Strategies

    Mitchell Wand

  • A Simple Algorithm and Proof for Type Inference1

    Mitchell Wand

  • Reification: Reflection without metaphysics

    Daniel P. Friedman;Mitchell Wand

  • Finding the source of type errors

    Mitchell Wand

  • Deriving Target Code as a Representation of Continuation Semantics

    Mitchell Wand

  • Small bisimulations for reasoning about higher-order imperative programs

    Vasileios Koutavas;Mitchell Wand

  • Obtaining coroutines with continuations

    Christopher T Haynes;Daniel P Friedman;Mitchell Wand

  • Continuations and coroutines

    Christopher T. Haynes;Daniel P. Friedman;Mitchell Wand

  • Continuation Semantics in Typed Lambda-Calculi (Summary)

    Albert R. Meyer;Mitchell Wand

  • Abstract continuations: a mathematical semantics for handling full jumps

    Matthias Felleisen;Mitch Wand;Daniel Friedman;Bruce Duba

  • Trampolined style

    Steven E. Ganz;Daniel P. Friedman;Mitchell Wand

  • A New Incompleteness Result for Hoare's System

    Mitchell Wand

  • Revised 5 Report on the Algorithmic Language

    Richard Kelsey;William Clinger;Jonathan Rees;H. Abelson

Frequent Co-Authors

Jens Palsberg
Jens Palsberg University of California, Los Angeles
Gary T. Leavens
Gary T. Leavens University of Central Florida
Shriram Krishnamurthi
Shriram Krishnamurthi Brown University
Robert Harper
Robert Harper Carnegie Mellon University
Lori Pollock
Lori Pollock University of Delaware
James R. Larus
James R. Larus École Polytechnique Fédérale de Lausanne
Gregor Kiczales
Gregor Kiczales University of British Columbia
Guy L. Steele
Guy L. Steele Oracle (United States)

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Studying Computer Science in the USA opens doors to diverse online degrees and career pathways in STEM. If you’re considering adjacent fields, an online environmental engineering degree could be a great fit, focusing on sustainability and environmental innovation.

For those interested in building and designing systems, an online mechanical engineering degree provides foundational knowledge applicable to robotics, aerospace, and automotive industries. Students fascinated by how the universe works can explore whether can you get a physics degree online, finding programs that combine flexibility with rigorous science training.

Data is shaping the future. If you want to analyze and utilize big data, a data science degree can offer hands-on learning in analytics, machine learning, and artificial intelligence. These online degrees provide flexibility for working professionals while expanding career options in IT, engineering, research, and data-driven industries.

Best Scientists Citing Mitchell Wand

Trending Scientists