Anil Nerode

Anil Nerode is a Distinguished Professor of Arts and Sciences in Mathematics at Cornell University, affiliated with the Department of Mathematics. His research interests include Applied Mathematics and Logic. He is also an editor of journals in these fields. His work includes publications on Logic, Categories, Lambda Calculus, Finsler Control Theory, and Automata Theory. He teaches courses such as Honors Introduction to Analysis, Applied Logic, and Supervised Research.

Anil Nerode is a Professor of Mathematics at Cornell University, specializing in logic, hybrid systems, model theory, and computability. His research explores the intersection of logic with hybrid systems, focusing on automata theory, controllability, and observability. He has contributed significantly to the development of logical frameworks for hybrid systems, including logics for hybrid systems and models for hybrid systems. His work also addresses computability and model theory, with publications on effective content of field theory, recursively enumerable vector spaces, and nonmonotonic rule systems. Nerode's research emphasizes the application of logic to real-time control and hybrid knowledge bases.