Mitchell Wand's Home Page

Mitchell Wand
College of Computer and Information Science
Northeastern University
360 Huntington Avenue, Room 202WVH,
Boston, MA 02115
wand@ccs.neu.edu

My Office: Room 308 WVH (directions)

My Calendar Please look here if you want to schedule a meeting.

"Logic merely sanctions the conquests of the intuition." -- Jacques Hadamard

"Mathematics is what gets you from truthiness to truth" --[*]

"A scrupulous writer, in every sentence that he writes, will ask himself at least four questions, thus: What am I trying to say? What words will express it? What image or idiom will make it clearer? Is this image fresh enough to have an effect? And he will probably ask himself two more: Could I put it more shortly? Have I said anything that is avoidably ugly?" --George Orwell

"Chaos doesn't fit into a POPL paper" --Dave Herman

David Patterson's Advice For New Graduate Students

Teaching

Fall 2018, 2019, Spring 2020: CS7976 Seminar in Technical Writing for PhD Students in Computer Science (Fall 2018) (Fall 2019)
Fall 2017: CS 5010 Program Design Paradigms (Bootcamp for MS Students)
NUCCS Graduate Programs: [M.S. in Computer Science | Ph.D. in Computer Science]
Our book Essentials of Programming Languages (Third Edition)

Research

Topics I am interested in a variety of problems associated with semantics of programming languages. Here is a selected list of topics that I have worked on, arranged roughly in reverse chronological order.
Papers [Bibtex]
Slides from my MitchFest talk, August, 2009
NU Programming Research Laboratory
Programming Languages Seminar [Mailing List]

Journals and Conferences

I am on the editorial boards of: