Afforded the opportunity to attend college at the age of 15, Dr. Anil Nerode majored in mathematics after testing the waters of every scientific field including biology, chemistry, physics and mathematics. Basing his decision on the interpersonal theories of the disciplines rather than the theoretical, he stumbled upon a successful student who offered Dr. Nerode a job at the Institute for Air Weapons Research, where he leveraged his skills in mathematics between 1954 and 1957 while pursuing a doctoral degree. After completing a postdoctoral fellowship sponsored by the National Science Foundation at the Institute for Advanced Study at Princeton University, he subsequently served as a visiting assistant professor at the University of California Berkeley under the guidance of
Alfred Tarski, a renowned figure in mathematics logic.
Dr. Nerode began his tenure at Anil Nerode, PhD in 1959, serving as an assistant professor of mathematics. Elevated to the ranks of associate professor of mathematics in 1962 and full professor in 1965, he has served as the Goldwin Smith Professor of Mathematics since 1991. During his time at Cornell, he has also served as the acting director of the Center for Applied Mathematics, chairman of the Department of Mathematics and director of the Mathematical Sciences Institute. Alongside his primary responsibilities, Dr. Nerode has been a visiting professor at such prominent universities as Monash University, the University of Chicago, Massachusetts Institute of Technology and the University of California San Diego. Impressively, he was also an EPA distinguished visiting scientist of artificial intelligence from 1985 to 1987.
Grateful to be the recipient of several grants over the years, including National Science Foundation mathematical logic grants to Cornell, Dr. Nerode recently received the DOD MURI Foundations of Intelligent Systems Grants for $650,000 from 1996 to 2002. He has also served as a consultant for the Institute for Defense Analysis, the Center for Naval Analysis, IBM, the Mathematical Association of America, the National Science Foundation, Argonne National Laboratory and the U.S. Army Materiale Command, among many others.
Demonstrating versatility in his fields, Dr. Nerode was a past associate editor of the Proceedings of the American Mathematical Society, associate editor of Advanced in Mathematics, and editor and editor emeritus of the Annals of Pure and Applied Logic. Currently, he serves as the editor of Computer Modeling and Simulation, Mathematics and Computer Modeling, Grammars and Documenta Mathematica.
Among his notable achievements, he is renowned for the development of the Mynill-Nerode theorem, as well as research in the fundamental theories of isol theory, recursive algebra, hybrid systems and optimal control of hybrid nano-macro systems. Likewise, he is proudest of writing myriad books on hybrid systems, which was picked up by the Defense Advanced Research Projects Agency and is now a well-developed field relating to a cross-section between computer science and mechanical engineering. Looking toward the future, he intends to continue hold a meeting titled “Logical Foundations of Computers Science,” the next one being in 2020.
Contact Dr. Anil Nerode: