People » Logic and foundations

Name	Title	Interests
Kjos-Hanssen, Bjørn	Professor	Automatic complexity; computability
Pavlovic, Dusko	Cooperating graduate faculty member	Theoretical computer science, security
Ross, David A.	Professor	Logic, analysis, nonstandard analysis

(3 persons)