People » Logic and foundations
| Name | Title | Interests |
|---|---|---|
| Kjos-Hanssen, Bjørn |
Professor Associate Chair |
Computability, automata |
| Pavlovic, Dusko | Cooperating graduate faculty member |
Theoretical computer science, security (see website) |
| Ross, David A. | Professor | Logic, analysis, nonstandard analysis |
(3 persons)