Anil nerode biography of alberta

American mathematician

Anil Nerode (born 1932) is an American mathematician, known for his work in mathematical logic and for his many-decades tenure as a professor at Cornell University.

Anil nerode biography of alberta health

He received his undergraduate education and a Ph.D. in mathematics from the University of Chicago, the latter under the directions of Saunders Mac Lane. He enrolled in the Hutchins College at the University of Chicago in 1947 at the age of 15, and received his Ph.D.

in 1956.

Anil nerode biography of alberta canada

His Ph.D. thesis was on an algebraic abstract formulation of substitution in many-sorted free algebras and its relation to equational definitions of the partial recursive functions.^[1]

While in graduate school, beginning in 1954, he worked at Professor Walter Bartky's Institute for Air Weapons Research, which did classified work for the US Air Force.

He continued to work there following the completion of his Ph.D., from 1956 to 1957. In the summer of 1957 he attended the Cornell NSF Summer 1957