|
Anil Nerode
Goldwin Smith Professor of Mathematics
Email: anil math.cornell.edu
Research interests: Logic, recursive functions and computability, theoretical computer science, hybrid systems, multiple agent autonomous control theory
Office phone: 5-3577
Office room/building: 545 Malott Hall
|