← back to search

Anil Nerode

Cornell University · US
Area of research
Artificial Intelligence · Computational Theory and Mathematics
Research interest
Research interests include Logic, Reasoning, and Knowledge, Logic, programming, and type systems, Computability, Logic, AI Algorithms, and Advanced Algebra and Logic.
h-index
35
citations
5,522
works
311
NIH funding
—
primary concept
—
email
✉ Find email ↗

Recent publications

Logical Foundations of Computer Science
Lecture notes in computer science 2017cited by 24position: lastdoi
Logical Foundations of Computer Science
Lecture notes in computer science 2015cited by 20position: lastdoi

Grants

Hybrid Systems Workshop to be held In Ithaca, New York, October 12-14, l996
NSF9632674$10,0001996–1997PIRePORTER
Mathematical Sciences: Logic and Computability
NSF9204308$160,4001992–1995PIRePORTER
U.S.-FSU Seminar on Logic (Tver University, Russia: July 20-24, 1992)
NSF9213577$13,0891992–1993PIRePORTER
Mathematical Sciences: Research in Mathematical Logic from Computer Science
NSF9013068$11,0001991–1992PIRePORTER
Mathematical Sciences: Research in Mathematical Logic
NSF8902797$182,6081989–1992PIRePORTER
A Workshop for Symbolic and Algebraic Computation: Directions for Future Research
NSF8814224$22,0001988–1988PIRePORTER
Mathematical Sciences: Research in Mathematical Logic
NSF8601048$211,7001986–1989PIRePORTER
US-Italy Cooperative Research Program in Mathematical Logic
NSF8515602$13,2001986–1989PIRePORTER
Acquisition of Mathematical Sciences Research Equipment
NSF8502931$19,8001985–1986PIRePORTER
Mathematical Sciences: Mathematical Logic
NSF8301850$164,1001983–1986PIRePORTER
U.S. Participation in the Sixth Latin American Symposium on Mathematical Logic; Caracas, Venezuela; August 1983
NSF8301501$8,6001983–1984PIRePORTER
Mathematical Logic
NSF8003016$162,6011980–1983PIRePORTER

Frequent collaborators

Sergei Artëmov · City University of New York2 papers (2015–2017)