Anil Nerode
· Distinguished Professor of Arts and Sciences in MathematicsCornell University · Mathematics
Active 1958–2024
About
Anil Nerode is a Distinguished Professor of Arts and Sciences in the Department of Mathematics at Cornell University. He earned his Ph.D. from the University of Chicago in 1956. His academic interests include applied mathematics and logic. He is involved in various departmental activities, including research, teaching, and outreach programs. His work encompasses significant contributions to logic, automata theory, control theory, and hybrid systems, with numerous publications and editorial roles in related journals.
Research topics
- Mathematics
- Pure mathematics
- Computer Science
- Mathematical analysis
- Epistemology
- Geology
- Philosophy
- Mathematics education
- Geometry
Selected publications
arXiv (Cornell University) · 2024-10-01
preprintOpen access1st authorCorrespondingThis proceedings contains abstracts and position papers for the work to be presented at the fourth Logic and Practice of Programming (LPOP) Workshop. The workshop is to be held in Dallas, Texas, USA, and as a hybrid event, on October 13, 2024, in conjunction with the 40th International Conference on Logic Programming (ICLP). The focus of this workshop is integrating reasoning systems for trustworthy AI, especially including integrating diverse models of programming with rules and constraints.
John Crossley: A life intellectual
Logic Journal of IGPL · 2023-05-31
article1st authorCorrespondingJournal Article John Crossley: A life intellectual Get access Anil Nerode Anil Nerode College of Arts and Sciences, Cornell University, Ithaca, New York, USA, an17@cornell.edu Search for other works by this author on: Oxford Academic Google Scholar Logic Journal of the IGPL, jzad001, https://doi.org/10.1093/jigpal/jzad001 Published: 31 May 2023 Article history Received: 08 February 2019 Revision received: 03 October 2019 Accepted: 23 October 2019 Published: 31 May 2023
Springer eBooks · 2022
1st authorCorresponding- Computer Science
- Mathematics
- Pure mathematics
Elliptic Functions and the Isomorphism Theorem
2022-01-01
book-chapter1st authorCorresponding2022-01-01
book-chapter1st authorCorrespondingSpringer eBooks · 2022
1st authorCorresponding- Pure mathematics
- Mathematics
- Geometry
A Brief History of Elliptic Functions
2022-01-01
book-chapter1st authorCorresponding2022-01-01
book-chapter1st authorCorresponding2022-01-01
book-chapter1st authorCorresponding2022-01-01
book-chapter1st authorCorresponding
Frequent coauthors
- 67 shared
Wolf Kohn
University of Washington
- 63 shared
Calvin C. Elgot
- 63 shared
Frederic B. Fitch
- 63 shared
Edward Dawson
Providence College
- 63 shared
Martin Davis
New York University
- 62 shared
Joseph Shoenfield
University of California, Berkeley
- 62 shared
James C. Thomson
- 62 shared
G. Hasenjaeger
Awards & honors
- Distinguished Professor of Arts and Sciences in Mathematics
- Resume-aware match score
- Save to shortlist
- AI-drafted outreach
See your match with Anil Nerode
PhdFit ranks faculty by your research interests, methods, and publications — grounded in their actual work, not templates.
- Free to start
- No credit card
- 30-second signup