PhdFit
Resume-aware faculty matching

Find professors who actually fit you

Review faculty evidence in public, then use the workspace to turn your background into a shortlist, outreach, and meeting prep.

Profile-awarePaper evidenceSix agents
Anil Nerode

Anil Nerode

· Distinguished Professor of Arts and Sciences in Mathematics

Cornell University · Mathematics

Active 1958–2024

h-index40
Citations7.6k
Papers32723 last 5y
Funding—

Academic metrics are sourced from OpenAlex and public funding records; values may differ from Google Scholar.

Faculty page
See your match with Anil Nerode — sign in to PhdFit.Sign in

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

  • Logical Foundations of Computer Science

    Lecture notes in computer science · 2019-12-13 · 4 citations

    bookSenior author
    PublisherDOI

  • Integrating Reasoning Systems for Trustworthy AI, Proceedings of the 4th Workshop on Logic and Practice of Programming (LPOP)

    arXiv (Cornell University) · 2024-10-01

    preprintOpen access1st authorCorresponding

    This 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.

    PublisherOA PDFDOI

  • John Crossley: A life intellectual

    Logic Journal of IGPL · 2023-05-31

    article1st authorCorresponding

    Journal 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

    PublisherDOI

  • Algebraic Curves and Riemann Surfaces for Undergraduates

    Springer eBooks · 2022

    1st authorCorresponding

    Algebraic Curves and Riemann Surfaces for Undergraduates is a textbook covering the theory from scratch, assuming only standard undergraduate background

    PublisherOA PDFDOI

  • Affine Space

    Springer eBooks · 2022

    1st authorCorresponding
    PublisherDOI

Frequent coauthors

  • Wolf Kohn

    University of Washington

    67 shared

  • Calvin C. Elgot

    63 shared

  • Frederic B. Fitch

    63 shared

  • Edward Dawson

    Providence College

    63 shared

  • Martin Davis

    New York University

    63 shared

  • Joseph Shoenfield

    University of California, Berkeley

    62 shared

  • James C. Thomson

    62 shared

  • G. Hasenjaeger

    62 shared

Awards & honors

  • Distinguished Professor of Arts and Sciences in Mathematics

Similar researchers at Cornell University

  • 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.

Sign in to PhdFitHow it works
  • Free to start
  • No credit card
  • 30-second signup