Organization

• name: Computer Science Department, Courant Institute of Mathematical Sciences, NYU
• description:
  • url: http://cs.nyu.edu/csweb/
• member: Martin Davis