Teaching

Classes I'm teaching:

Fall 2007:

  • Core Computer Science, M, 1:40 - 4:20 PM
  • Science and Technology in New York City, M/Th, 12:15 - 1:30 PM
  • Philosophy and Feminism, T, 10:50 AM - 1:30 PM

    Classes I've taught:

    Spring 2007:

  • Core Computer Science
  • Philosophy of Law

    Fall 2006:

  • Science and Technology in New York City
  • Modern Philosophy

    Spring 2006:

  • Computer Ethics
  • Representations of Artificial Intelligence in Film

    Fall 2005:

  • Science and Technology in New York City
  • Computer Ethics
  • The Internet

    Spring 2005:

  • Philosophy of Science
  • Compiler Construction

    Fall 2004:

  • Discrete Structures
  • Theory of Computation
  • Social Philosophy

    Spring 2004:

  • Core Computer Science (CIS 5.1)
  • Artificial Intelligence (CIS716).

    Fall 2003:

  • Philosophy and Artificial Intelligence (CIS 32.1/Phil 29/Psych 57.2)
  • Artificial Intelligence (CIS716).

    Spring 2003:

  • Theory of Computation; here is a syllabus and home page.
  • Artificial Intelligence (CIS716).

    Fall 2002:

  • Discrete Structures; here is the CIS 11 syllabus and CIS 611 syllabus.

    • 2000-2002:

  • Logics of Knowledge and Belief for Norman Foo's Modal Logic at the University of New South Wales.
  • Logical Foundations of Artificial Intelligence as a a reading course.
  • Tutorial on Belief Revision at SBIA-IBERAMIA 2000 with Renata Wassermann and Eduardo Ferme.

    Spring 2000:

  • Theory of Computation at the NYU Department of Computer Science.
  • Networking and Unix at NYU's School of Continuing Education.

    • Fall 1999:

  • Analysis of Algorithms at Brooklyn College of CUNY.

    • Spring 1999:

  • Discrete Structures at Queens College of CUNY .

    Spring 1998:

  • Networking and Unix at NYU's School of Continuing Education.

    • Fall 1997:

  • Introductory Philosophy at John Jay College in CUNY.
  • Networking and Unix at NYU's School of Continuing Education.

    • Spring 1997:

  • Introductory Philosophy at John Jay College in CUNY.
  • Graphical User Interface Design, at NYU's School of Continuing Education.

    Fall 1994, Spring 1995:

  • Introduction to Computer Science (Baruch College of CUNY),

    • Fall 1993:

  • Pascal (Virtual Classroom of NJIT)

    • Spring 1990:

  • Database Management, NJIT.

    • Fall 1988, Spring 1989, Fall 1989:

  • Management Information Systems at NJIT.

    • Classes I'd like to teach:

  • Logic in Computer Science
  • Computability and Unsolvability
  • Belief Revision and Rational Theory Change
  • Philosophy of Mind
  • Social Choice and the Theory of Justice
  • Philosophy of Physics: Conceptual Foundations of Quantum Mechanics
  • Wittgenstein's Philosophy of Psychology
  • Reasoning about Knowledge and Belief
  • Mathematical Logic, using Shoenfield's Mathematical Logic
  • Knowledge Representation.
  • Philosophy of Psychoanalysis
  • Compiler Theory (hey! this came true in Spring 2005)
  • Unix System Administration
  • Unix tools for programming
  • Belief Revision using Sven Ove Hansson's A textbook of Belief Dynamics
  • And many more, of course.