HomePeopleAnil Nerode Title: Professor Department: Mathematics Website: Professor Nerode's webpage Research areas: logic; recursive functions and computability; theoretical computer science; hybrid systems