Background
Nerode, Anil was born on June 4, 1932 in Los Angeles, California, United States. Son of Nirad Ranjan and Agnes (Spencer) Nerode.
mathematician computer scientist
Nerode, Anil was born on June 4, 1932 in Los Angeles, California, United States. Son of Nirad Ranjan and Agnes (Spencer) Nerode.
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. 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.
Group leader automata and weapons systems, Laboratory Applied Science, University of Chicago, 1954-1957;
member, Institute for Advanced Study, Princeton, 1957-1958, 62-63;
visiting assistant professor mathematics, University of California at Berkeley, 1958-1959;
member of faculty, Cornell Univercity, since 1959;
professor mathematics, Cornell Univercity, since 1965;
Goldwin Smith professor mathematics, Cornell Univercity, since 1990;
department chairman mathematics, Cornell Univercity, 1982-1987;
director Mathematics Science Institute, Cornell Univercity, 1986-1997;
acting director, Center for Applied Mathematics, 1965-1966;
visiting professor, Monash U., Melbourne, Australia, 1970, 74, 78, 79;
visiting professor, University of Chicago, 1976;
visiting professor, Massachusetts Institute of Technology, 1980;
visiting professor, University of California, San Diego, 1981;
distinguished visiting scientist, Environmental Protection Agency, 1985-1987;
director Center for Foundation of Intelligent Sys., Cornell Univercity, since 1997;
Chief Executive Officer, Hybrythims Corporation, since 1995. Principal investigator numerous grants. Member science advisory board Environmental Protection Agency, 1988-1993, chair technical advisory panel Global Change, 1990-1992.
Member science advisory board Center for Intelligent Control, Harvard-Massachusetts Institute of Technology-Brown U., 1988-1994. Consultant to government and industry.
(nullane de tantis gregibus tibi digna videtur? rara avis ...)
(Logic's basic elements are unfolded in this book. The rel...)
(Articles: Saul A. Kripke, "A Completeness Theorem in Moda...)
Member AIII, Institute of Electrical and Electronics Engineers, Association Computing Machinery, American Mathematics Society (associate editor procs. 1962-1965, vice president 1992-1995), Society Industrial and Applied Mathematics, Mathematics Association American, Association Symbolic Logic, European Association for Theoretical Computer Science.
Married Sondra Raines, February 12, 1955 (divorced 1968). Children: Christopher Curtis, Gregory Daniel. Married Sally Riedel Sievers, May 16, 1970.
1 child, Nathanael Caldwell.