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

• Spring 2012: 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.
• Spring 2012:CS 5800 Algorithms
• Fall 2011: 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.

• Spring 2011: 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.
• Fall 2010: CS 5010 Program Design Paradigms
• Fall 2009: CS 7400 Principles of Programming Languages (Intensive) (for PhD students).
• Fall 2009: CS 5010 Program Design Paradigms
• Spring 2009: CSG107 Paradigms of Program Design
• Fall 2008: CSG264 Semantics of Programming Languages
• Spring 2008: CSG712 Intensive Systems (for PhD students)

• 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: Sat Nov 19 11:09:52 -0500 2011