You are here

Anil Nerode

Distinguished Professor of Arts and Sciences in Mathematics

Anil Nerode

545 Malott Hall
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


Fall 2021

Spring 2022


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


Related Articles