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)

Overview

My professional activities include:

Chair of the program committee of IEEE-MASS-2005 Security and Survivability Symposium.
An hour address at IEEE MAS&S2005.
Keynote speaker at the Tennenbaum Symposium, CUNY, April 2006.
Chair of the international advisory board of Clearsight Corporation, Bellevue, Washington.
Member of the international advisory board of Computer Science, NTT, Japan.
Member of the international advisory board of the Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, New Zealand.
Chair of the steering committee of the Logical Foundations of Computer Science Symposium, scheduled for June 4-7, 2007 at City University, New York City, NY.
Co-chair of the organizing committee for the IFAC Symposium “Hybrid Systems and Intelligent Control,” scheduled for summer 2007 in Irkutsk, Russia.

Departments/Programs

  • Mathematics

Graduate Fields

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

Research

Professor Nerode's principal research at present is in theorems and algorithms for extracting controls for hybrid systems using Finsler differential geometry and logic-based controllers.  Tools include the relaxed calculus of variations, connections on Finsler manifolds, Lie semigroups, chattering control, and automata theory.  He also continues to work on problems in pure and applied logic, including computable model theory of nonstandard logics, automatic structures, foundations of logic programming, and automata models for multiple agent systems.

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.