Anil Nerode

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.

In the news

• Michael Morley, emeritus professor of math, dies at 90
• After years of wandering, longest-serving professor finds a home at Cornell
• Research gives robots a second chance at first impressions
• How do you flourish in scientific publishing? Ask a librarian