Faculty

Institution

Unit

Venue

Anil Nerode

Distinguished Professor of Arts and Sciences in Mathematics

Cornell University

Affiliations

College of Arts and Sciences

Department of Mathematics

Anil Nerode is currently serving as a College Of Arts And Sciences Distinguished Professor of Arts and Sciences in Mathematics at Cornell University.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Anil Nerode

Cornell University

Distinguished Professor of Arts and Sciences in Mathematics

You can click a keyword to filter the displayed items

logic in computer science mathematics computer science mathematical logic automated reasoning formal methods theory of computation systems engineering applied mathematics theoretical computer science automated deduction logic programming mathematical sciences control systems automatic control control optimization systems modeling recursive function computational logic computability theory dynamical systems combinatorial theory applied logic system science nonmonotonic logic hybrid systems pure mathematics programming languages control system technology non-classical logic general systems logical analysis logical foundations hybrid intelligent systems robust nonlinear control automaton operation well-founded semantics classical logic discrete algorithms mathematical control theory controller synthesis function spaces control architecture mathematical optimization model theory first-order logic computational model theory algebraic logic logical automaton autonomous agent systems foundation of mathematics databases deductive databases finite-state system modal logic philosophy of logic set-theoretic topology type theory control science finite model theory recursion theory topological semantics automaton network system dynamics nonmonotonic rule systems concurrent programs hybrid knowledge bases mixed integer optimal control continuous plants tally representation partial instantiation hybrid systems approach hybrid system state agent-based framework normal default logic formal mathematical reasoning

Notable Scholarly Works

Notable Federal Grants

Collaborators

Integrating Reasoning Systems for Trustworthy AI, Proceedings of the 4Th Workshop on Logic and Practice of Programming (Lpop). arXiv (Cornell University) (2024)

Nerode, AnilLiu, Yanhong A.

artificial intelligencecomputer sciencelogic in computer scienceautomated deductionknowledge-based systems40th international conferenceapplied logictrustworthy aireasoning systemknowledge representation and reasoninglogic programmingfourth logicautomated reasoningmodel-based reasoningformal methods

John Crossley: A Life Intellectual. Logic Journal of IGPL (2023)

Anil Nerode

cornell universityphilosophical inquiryphilosophypractical philosophyphilosophy of sciencehistory of logicphilosophical logicapplied philosophyhistory and philosophy of scienceintellectual discoursenew yorkhumanitiestextual practicejohn crossleyenglishmetaphysics

A Brief History of Elliptic Functions. Springer eBooks (2022)

Anil NerodeNoam Greenberg

monge-ampere equationelliptic functionsboundary value problemselliptic equationselliptic functionmathematicscomplex analysisnumber theoryrational mechanicapplied mathematicsmathematical sciences

Affine Space. Springer eBooks (2022)

Anil NerodeNoam Greenberg

Algebra. Springer eBooks (2022)

Anil NerodeNoam Greenberg

Algebraic Curves and Riemann Surfaces for Undergraduates. Springer eBooks (2022)

Anil NerodeNoam Greenberg

algebraic curvesalgebraic geometryenumerative geometrycomplex geometrymathematicsgeometrymathematics educationgeometry and topologymathematical sciences

BéZout’s Theorem. Springer eBooks (2022)

Anil NerodeNoam Greenberg

Complex Differentiation. Springer eBooks (2022)

Anil NerodeNoam Greenberg

Connectedness, Smooth and Simple. Springer eBooks (2022)

Anil NerodeNoam Greenberg

geometric topologytopologytopological properties

Curves Are Surfaces. Springer eBooks (2022)

Anil NerodeNoam Greenberg

geometric topologycurve modelingdifferential geometrysubdivision surfacesgeometrygeometric analysisgeometric modelinggeometry and topologysurface modeling

1
2
3
4
5
26
10 / page

Anil Nerode

Distinguished Professor of Arts and Sciences in Mathematics

Cornell University

Affiliations

College of Arts and Sciences

Department of Mathematics

Anil Nerode is currently serving as a College Of Arts And Sciences Distinguished Professor of Arts and Sciences in Mathematics at Cornell University.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Anil Nerode

Cornell University

Distinguished Professor of Arts and Sciences in Mathematics

You can click a keyword to filter the displayed items

Notable Scholarly Works

Notable Federal Grants

Collaborators

Integrating Reasoning Systems for Trustworthy AI, Proceedings of the 4Th Workshop on Logic and Practice of Programming (Lpop). arXiv (Cornell University) (2024)

Nerode, AnilLiu, Yanhong A.

John Crossley: A Life Intellectual. Logic Journal of IGPL (2023)

Anil Nerode

A Brief History of Elliptic Functions. Springer eBooks (2022)

Anil NerodeNoam Greenberg

monge-ampere equationelliptic functionsboundary value problemselliptic equationselliptic functionmathematicscomplex analysisnumber theoryrational mechanicapplied mathematicsmathematical sciences

Affine Space. Springer eBooks (2022)

Anil NerodeNoam Greenberg

Algebra. Springer eBooks (2022)

Anil NerodeNoam Greenberg

Algebraic Curves and Riemann Surfaces for Undergraduates. Springer eBooks (2022)

Anil NerodeNoam Greenberg

algebraic curvesalgebraic geometryenumerative geometrycomplex geometrymathematicsgeometrymathematics educationgeometry and topologymathematical sciences

BéZout’s Theorem. Springer eBooks (2022)

Anil NerodeNoam Greenberg

Complex Differentiation. Springer eBooks (2022)

Anil NerodeNoam Greenberg

Connectedness, Smooth and Simple. Springer eBooks (2022)

Anil NerodeNoam Greenberg

geometric topologytopologytopological properties

Curves Are Surfaces. Springer eBooks (2022)

Anil NerodeNoam Greenberg

geometric topologycurve modelingdifferential geometrysubdivision surfacesgeometrygeometric analysisgeometric modelinggeometry and topologysurface modeling

1
2
3
4
5
26
10 / page

Similar Faculty Members

Stephen G. Simpson

Institution

Vanderbilt University

mathematical logic

applied logic

Clyde Martin

Institution

Texas Tech University

applied mathematics

automatic control

Yuliy Baryshnikov

Institution

University of Illinois Urbana-Champaign

applied mathematics

control system

Jeremy Avigad

Institution

Carnegie Mellon University

mathematical logic

formal verification

Sayan Mitra

Institution

University of Illinois Urbana-Champaign

mechanical verification

formal verification

Alexandra Silva

Institution

Cornell University

design automation

algebraic semantics

Mahesh Viswanathan

Institution

University of Illinois Urbana-Champaign

software engineering

programming language

Steven G. Krantz

Institution

Washington University in St. Louis

nonlinear analysis

real analysis

George Cybenko

Institution

Dartmouth College

information theory

information system planning

James Cummings

Institution

Carnegie Mellon University

philosophical inquiry

philosophy of science

Similar Faculty Members

Stephen G. Simpson

Institution

Vanderbilt University

mathematical logic

applied logic

Clyde Martin

Institution

Texas Tech University

applied mathematics

automatic control

Yuliy Baryshnikov

Institution

University of Illinois Urbana-Champaign

applied mathematics

control system

Jeremy Avigad

Institution

Carnegie Mellon University

mathematical logic

formal verification

Sayan Mitra

Institution

University of Illinois Urbana-Champaign

mechanical verification

formal verification

Alexandra Silva

Institution

Cornell University

design automation

algebraic semantics

Mahesh Viswanathan

Institution

University of Illinois Urbana-Champaign

software engineering

programming language

Steven G. Krantz

Institution

Washington University in St. Louis

nonlinear analysis

real analysis

George Cybenko

Institution

Dartmouth College

information theory

information system planning

James Cummings

Institution

Carnegie Mellon University

philosophical inquiry

philosophy of science