Occupation: Mathematician; Educator
Born: Los Angeles, California, June 4, 1932
Education:
Honorary DSc, University of Chicago (2010)
PhD, University of Chicago (1956)
MS, University of Chicago (1953)
BS, University of Chicago (1952)
BA, University of Chicago (1949)
Career:
Goldwin Smith Professor of Mathematics, Cornell University (1990-Present)
Professor of Mathematics, Cornell University (1965-Present)
Faculty Member, Cornell University (1959-Present)
Director, Center for Foundation of Intelligent Systems, Cornell University (1997-2001)
Director, Mathematical Sciences Institute, Cornell University (1987-1997)
Chairman, Department of Mathematics, Cornell University (1982-1987)
Distinguished Visiting Scientist, U.S. Environmental Protection Agency (1985-1987)
Visiting Professor, University of California, San Diego (1981)
Visiting Professor, Massachusetts Institute of Technology (1980)
Visiting Professor, Monash University, Melbourne, Australia (1970, 1974, 1978, 1979)
Visiting Professor, University of Chicago (1976)
Acting Director, Center for Applied Mathematics (1965-1966)
Member, Institute for Advanced Study, Princeton (1957-1958, 1962-1963)
Visiting Assistant Professor of Mathematics, University of California Berkeley (1958-1959)
Group Leader, Automata and Weapons Systems, Laboratory Applied Sciences, University of Chicago (1954-1957)
Career Related:
Co-Founder, Kohn Nerode Partnership (2011); Co-Founder, Clearsight Corp. (1995); Science Advisory Board, Center for Intelligent Control, Harvard-MIT-Brown University (1988-1994); Science Advisory Board, EPA (1988-1993); Chair, Technical Advisory Panel, Global Change (1990-1992); Distinguished Visiting Scientist, Environmental Protection Agency (1985-1987); Visiting Professor, University of California San Diego (1985); Visiting Professor, University of California San Diego (1983); Visiting Professor, University of California San Diego (1981); Visiting Professor, Massachusetts Institute of Technology (1980); Visiting Professor, University of Chicago (1976); Visiting Professor, Monash University, Melbourne, VIC, Australia (1974-1975); Visiting Professor, Monash University, Melbourne, VIC, Australia (1970-1971); Institute for Defense Analysis, Princeton, NJ (1963-1964); Institute for Advanced Study, Princeton, NJ (1962-1963); Institute for Advanced Study, Princeton, NJ (1962-1963); Assistant Professor of Mathematics, Cornell University (1959-1962); Institute for Advanced Study, Princeton, NJ (1957-1958); Principal Investigator, Numerous Grants; Consultant in the Field; Numerous Committees
Civic:
Meeting Organizer in the Field
Creative Works:
Editor, Algebra and Logic (2000-Present); Documenta Mathematica (1996-Present); Editor, Computer Modelling and Simulation (1990-Present); Editor, Mathematics and Computer Modelling (1990-Present); Author, “Prequel to the Cornell Computer Science Department” (2014); Editor, Annals of Mathematics and Artificial Intelligence (1990-2012); Editor, Journal of Pure & Applied Algebra (1988-2005); Editor, International Journal of Hybrid Systems (2001-2003); Co-Author, “Automata Theory and its Applications” (2001); Editor, Constraints (1995-1999); Co-Editor, “Handbook of Recursive Mathematics” (1998); Editor, Grammars (1995-1998); Editor, Editor, Future Generation Computing (1984-1998); Editor, Annals of Pure and Applied Logic (1983-1997); Co-Author, “Logic for Applications,” Second Edition (1996); Co-Author, “Principles of Logic and Logic Programming” (1996); Editor, “Logical Methods in Computer Science” (1991-1994); Editor, ORCA Journal of Computing (1988-1990); Editor, Journal of Symbolic Logic (1968-1983); Co-Author, “Combinatorial Functors” (1974); Associate Editor, Advances in Mathematics (1968-1971); Associate Editor, Proceedings of the American Mathematical Society (1962-1965); Reviewer in Field; Contributor, Articles, Professional Journals
Achievements:
Achievements include the Mynill-Nerode theorem, fundamental theorems of isol theory, recursive algebra, hybrid systems, optimal control of hybrid nano-macro systems
Awards:
Honoree, “Logical Methods: In Honor of Anil Nerode’s Sixtieth Birthday,” Progress in Computer Science and Applied Logic; Eponym, Nerode Prize, EATCS-IPEC; Official Citation, President Robert J. Zimmer, University of Chicago; Grantee in Field; Recipient, Albert Nelson Marquis Lifetime Achievement Award; Honoree, Marquis Who’s Who Top Professional
Memberships:
Fellow, American Mathematical Society (2013); Vice President, American Mathematics Society (1991-1994); Association of International Industrial Irradiation; Institute of Electrical and Electronics Engineers; Association of Computing Machinery; Society of Industrial and Applied Mathematics; Mathematics Association of America; Association of Symbolic Logic; European Association for Theoretical Computer Science
Political Affiliation:
Democrat
Family:
Son of Nirad Ranjan and Agnes (Spencer) Nerode
Married: Saly Riedel Sievers (5/16/1970)
Children: Christopher; Gregory; Nathaniel
Hobbies:
Archeology
Biography Sources:
Who’s Who in America – 2019, 72nd Edition (pub. 2019)
Who’s Who in America – 2016, 70th Edition (pub. 2016)
Who’s Who in America – 2015, 69th Edition (pub. 2014)
Who’s Who in America – 2014, 68th Edition (pub. 2013)
Who’s Who in America – 2013, 67th Edition (pub. 2012)
Who’s Who in America – 2012, 66th Edition (pub. 2011)
Who’s Who in America – 2011, 65th Edition (pub. 2010)
Who’s Who in America – 2010, 64th Edition (pub. 2009)
Who’s Who in America – 2009, 63rd Edition (pub. 2008)
Who’s Who in America – 2008, 62nd Edition (pub. 2007)
Who’s Who in America – 2007, 61st Edition (pub. 2006)
Who’s Who in America – 2006, 60th Edition (pub. 2005)
Who’s Who in America – 2005, 59th Edition (pub. 2004)
Who’s Who in America – 2004, 58th Edition (pub. 2003)
Who’s Who in America – 2003, 57th Edition (pub. 2002)
Who’s Who in America – 2002, 56th Edition (pub. 2001)
Who’s Who in America – 2001, 55th Edition (pub. 2000)
Who’s Who in America – 2000, 54th Edition (pub. 1999)
Who’s Who in America – 1999, 53rd Edition (pub. 1998)
Who’s Who in America – 1998, 52nd Edition (pub. 1997)
Who’s Who in America – 1997, 51st Edition (pub. 1996)
Who’s Who in America – 1995, 49th Edition (pub. 1994)
Who’s Who in America – 1994, 48th Edition (pub. 1993)
Who’s Who in America – 1992-1993, 47th Edition (pub. 1992)
Who’s Who in America – 1990-1991, 46th Edition (pub. 1990)
Who’s Who in America – 1989-1990, 45th Edition (pub. 1988)
Who’s Who in America – 1987-1988, 44th Edition (pub. 1986)
Who’s Who in American Education – 2007-2008, 8th Edition (pub. 2007)
Who’s Who in American Education – 2006-2007, 7th Edition (pub. 2005)
Who’s Who in American Education – 2004-2005, 6th Edition (pub. 2003)
Who’s Who in American Education – 1996-1997, 5th Edition (pub. 1995)
Who’s Who in American Education – 1994-1995, 4th Edition (pub. 1993)
Who’s Who in Science and Engineering – 2016-2017, 12th Edition (pub. 2016)
Who’s Who in Science and Engineering – 2011-2012, 11th Edition (pub. 2010)
Who’s Who in Science and Engineering – 1998-1999, 4th Edition (pub. 1997)
Who’s Who in Science and Engineering – 1996-1997, 3rd Edition (pub. 1996)
Who’s Who in Science and Engineering – 1994-1995, 2nd Edition (pub. 1993)
Who’s Who in Science and Engineering – 1992-1993, 1st Edition (pub. 1992)
Who’s Who in the East – 2016, 43rd Edition (pub. 2015)
Who’s Who in the East – 2015, 42nd Edition (pub. 2014)
Who’s Who in the East – 2014, 41st Edition (pub. 2013)
Who’s Who in the East – 2013, 40th Edition (pub. 2012)
Who’s Who in the East – 2012, 39th Edition (pub. 2011)
Who’s Who in the East – 2011, 38th Edition (pub. 2010)
Who’s Who in the East – 2010, 37th Edition (pub. 2009)
Who’s Who in the East – 2009, 36th Edition (pub. 2008)
Who’s Who in the East – 2008, 35th Edition (pub. 2007)
Who’s Who in the East – 2007, 34th Edition (pub. 2006)
Who’s Who in the East – 2006, 33rd Edition (pub. 2005)
Who’s Who in the East – 2005, 32nd Edition (pub. 2004)
Who’s Who in the East – 2004, 31st Edition (pub. 2003)
Who’s Who in the East – 2003, 30th Edition (pub. 2002)
Who’s Who in the East – 2002, 29th Edition (pub. 2001)
Who’s Who in the World – 2016, 33rd Edition (pub. 2016)
Who’s Who in the World – 2015, 32nd Edition (pub. 2014)
