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

News

6/26/08: EOPL3 is out! And it has a brand-new web site.

Teaching

• Fall 2006: CSG264 Semantics of Programming Languages
• Spring 2007: CSG111 Principles of Programming Languages (for MS students)
• Spring 2007: CSG711 Principles of Programming Languages (Intensive) (for PhD students)
• Fall 2007: CSG711 Principles of Programming Languages (Intensive) (for PhD students)
• Spring 2008: CSG712 Intensive Systems (for PhD students)
• 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: Thu Jun 26 13:04:58 Eastern Daylight Time 2008