Anil Nerode

Anil Nerode ( born June 4, 1932 in Los Angeles ) is an American mathematical logician and mathematician.

Life

Nerode studied at the University of Chicago with a Bachelor of Arts degree in 1949, a Bachelor of Science degree in 1952, her Master's degree in 1953 and his doctorate in Saunders Mac Lane 1953 ( Composita, Equations and Recursive definition). From 1953 he worked at the Institute for Systems Research at the University of Chicago ( under Walter Bartky secret work for the U.S. Air Force were carried out there ), and remained there until 1957 as a group leader. In 1957/58 ( and 1962 /63) he was at the Institute for Advanced Study, where he worked with Kurt Gödel, and 1958/59 he was a visiting professor at the University of California. In 1959 he was appointed Assistant Professor in 1965 and Professor at Cornell University since 1991 as Goldwin Smith Professor of Mathematics.

He has been a visiting professor at the University of Chicago (1976 ), Monash University (1970, 1974, 1978), MIT (1980) and the University of California, San Diego ( 1981, 1984, 1985).

It deals with mathematical logic, automata theory, computability and complexity theory, distributed systems, calculus of variations. The Myhill - Nerode (1957 /58) is named after him and John Myhill.

1968 to 1982 he was editor of J. of Symbolic Logic.

Nerode is a Fellow of the American Mathematical Society ( AMS ), the Vice President, he was from 1991 to 1994.