arrow grid linear view icon
The College of Arts Sciences

You are here

Anil Nerode

Goldwin Smith Professor of Mathematics

Anil Nerode

Malott Hall, Room 545
406 cayuga heights road

Educational Background

  • Ph.D. (1956) University of Chicago



  • Mathematics

Graduate Fields

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



  • 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.