Anil Nerode

Nerode_Anil_4170747_SMOccupation: 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)

Contact Anil Nerode

Share with:

Facebook
Twitter
LinkedIn

More to explore

Lawrence Molek

Occupation: Geoengineer Born: Warren, Ohio Education: Graduate, Statistical Process Control (1988) Undergraduate Coursework, Kent State University Automotive Technology Coursework, Tri-County Technical

William N. Cooke, PhD

Occupation: Professor Company: Michigan State University Education: PhD, University of Illinois Urbana-Champaign (1977) MA, University of Illinois Urbana-Champaign (1973) BS in

William Carrión

Occupation: President Company: CCG Consulting Group Education: MBA, Universidad del Turabo, Earned in Puerto Rico (2000) Bachelor’s Degree in Chemical Engineering,

William B. Buckman, BSEE

Occupation: President and Chief Executive Officer Company: The Buckman Consulting Group, Inc. Born: East Cleveland, Ohio Education: BS in Electrical Engineering,

Archives
Categories