arrow grid linear view icon
The College of Arts Sciences
Search

You are here

Anil Nerode

Goldwin Smith Professor of Mathematics

Anil Nerode

Malott Hall, Room 545
406 cayuga heights road
an17@cornell.edu
607-255-4013

Educational Background

  • Ph.D. (1956) University of Chicago

Website(s)

Departments/Programs

  • Mathematics

Graduate Fields

  • Applied Mathematics
  • Cognitive Science
  • Computer Science
  • Mathematics
  • Science and Technology Studies

Courses

Publications

  • Logic, Categories, Lambda Calculus (with R. Platek, G. Odifreddi), in preparation, 500 pp.
  • Finsler Control Theory and its applications (with W. Kohn, V. Brayman), in preparation, 300 pp.
  • Tableaux for constructive concurrent dynamic logic (with D. Wijesekera), Annals of Pure and Applied Logic 135 (2005), 1–72.
  • Effective completeness theorems for modal logic (with S. Ganguli), Annals of Pure and Applied Logic 128 no. 1-3 (2004), 141–195.
  • Control synthesis in hybrid systems with Finsler dynamics (with Wolf Kohn and Vladimir Brayman), Houston Journal of Mathematics 28 no. 2 (2003), 353–375.
  • Control in hybrid systems (with W. Kohn, V. Brayman, and P. Cholewinski), Int. J. Hybrid Systems 3 (2003).
  • Automata Theory and Its Applications (with Bakhadyr Khoussainov), Birkhauser, 2001, 430 pp.

I am also an editor of journals in these fields.