Anil Nerode

Title: Mathematician, Educator
Location: Ithaca, New York, United states

Anil Nerode, Mathematician and Educator, has been recognized by Marquis Who’s Who Top Educators for dedication, achievements, and leadership in theoretical computer science and mathematical logic.

Dr. Nerode started college at just 15 years old and found, after taking nearly every science course there was, that there was something special about mathematics. He attended the University of Chicago for his higher education, receiving a Bachelor of Arts in 1949, a Bachelor of Science in 1952, a Master of Science in 1953, a PhD in 1956 and later received an honorary DSc in 2010. In his career, Dr. Nerode is most proud of helping to devise the Mynill-Nerode theorem, in a time where no one else was very interested in the field that theorem would influence. Discovering a basic principle is the crowning achievement of his career.

Dr. Nerode has taught at a number of prestigious institutions. Since 1990, he has been a Goldwin Smith professor of mathematics at Cornell University. He originally joined the faculty at the institution in 1959. In addition, he has been a visiting professor at the University of California San Diego, the Massachusetts Institute of Technology, the University of Chicago, Monash University and the University of California Berkeley. He has also served as a distinguished visiting scientist at the Environmental Protection Agency and consulted for various government and industry organizations. He co-founded the Kohn Nerode Partnership in 2011. Every two years, Dr. Nerode holds a meeting called the Logical Foundation of Computer Science that calls together various branches of mathematics.

In his career, Dr. Nerode has maintained professional affiliation with the Association of International Industrial Irradiation, the Institute of Electrical and Electronics Engineers, the Association of Computing Machinery, the American Mathematics Society, the Society of Industrial and Applied Mathematics, the Mathematics Association of America, the Association of Symbolic Logic and the European Association for Theoretical Computer Science. He has also contributed to numerous published works, writing, co-authoring such works as “Combinatorial Functors,” “Logic for Applications,” “Principals of Logic and Logic Programming,” “Computer Modelling and Similation” and the “Handbook of Recursive Mathematics.”

For more information, please visit:

Lifetime Achievement 

Contact Dr. Nerode:

Leave a Reply