AREAS OF ACADEMIC RESEARCH

Mathematical Logic
Computability
Complexity
Automata
Recursive Algebra
Recursive Analysis
Multiple Agent Distributed Control
Relaxed Calculus of Variations on Manifolds
Hybrid Systems
Non-Monotonic Logics
Modal Logics for Computer Science
Constructive Logics for Computer Science
Distributed Systems
History of Mathematics
History of Mathematical Logic


Nerode's Home Page