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.

Office Hours for Fall 2007: Monday, 500-530, and by appointment.

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" --[*]

bonaldi: what's the best way to learn that stuff?
b1tr0t: Read books, google around, check wikipedia. When you start, it will look like most of what is said is reasonable. You are in good shape when you think that 90% of the stuff you read is BS. --[ *]

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

How man Coq programmers does it take to change a lightbulb? Are you kidding? It takes 2 post-docs six months just to prove that the bulb and the socket are both threaded in the same direction. -- from James Iry

David Patterson's Advice For New Graduate Students

Teaching

• Fall 2007: CSG711 Principles of Programming Languages (Intensive) (for PhD students)
• Spring 2008: CSG712 Intensive Systems (for PhD students)
• Fall 2008: CSG264 Semantics of Programming Languages
• Spring 2009: CSG107 Paradigms of Program Design (Bootcamp for MS Students)

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

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

Research

• 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:

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

I am on the program committee for:

• ICFP 2008
• POPL 2009

---

Last modified: Mon Dec 22 07:47:27 EST 2008