Eric Rosen

Visiting assistant professor

Department of Mathematics, 2-279
Massachusetts Institute of Technology
77 Massachusetts Avenue
Cambridge, MA 02139
(617) 253-3214

rosen (at) math (dot) mit (dot) edu

Research

My interests include model theory and applications to differential algebra and algebraic geometry. I have also done some work in finite model theory.

Papers

My recent papers are available on the ArXiv.
Some of my older papers are available here, and are also listed in the computer science bibliography DBLP.

Job materials

Here are the files from my job application.

Logic Seminar

The logic seminar will meet this Spring on Wednesday afternoon. You can also read more about logic at MIT.

Teaching

Spring 2008

18.504, Seminar in logic, on finite model theory
18.S67, Logic and computation (freshman seminar)
Course description here.

Previous courses

18.511, Introduction to mathematical logic and recursion theory (Fall 2007)
18.504, Seminar in logic (Spring 2007)
18.575, Model theory (Spring 2007)
18.510, Introduction to mathematical logic and set theory (Fall 2006)

Last updated January 2008