Mitchell Wand

Teaching Research EOPL Journals and Conferences Amusements

   

Mitchell Wand
College of Computer and Information Science
Northeastern University
360 Huntington Avenue, Room 202WVH,
Boston, MA 02115
wand@ccs.neu.edu
Phone: (617) 373-2072 / Fax: (617) 373-5121

My Office: Room 326 WVH (directions)

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

My official NUCCS page, with a research biography.

"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

• CS 5010 Program Design Paradigms (Bootcamp for MS Students)

  Important Notice/Warning: All students enrolled in CS 5010 should plan to be present in class starting at the first lecture.

• NUCCS Graduate Program
• Our book Essentials of Programming Languages (Third Edition)

Research

• Slides from my MitchFest talk, August, 2009
• NU Programming Research Laboratory
• Programming Languages seminar
• Papers (Bibtex)
• Semantics of Programming Languages, including Aspect-Oriented Programming
• Analysis-Based Program Transformation
• Resources for Programming Language Research

Journals and Conferences

I am on the editorial boards of:

• Logical Methods in Computer Science
• Higher-Order and Symbolic Computation

---

Last modified: Thu Dec 27 21:47:19 EST 2012