Search Bowers

Dexter Kozen is the Joseph Newton Pew, Jr. Professor of Engineering Emeritus in the Department of Computer Science. His research interests span topics on the boundary of computer science and mathematics: design and analysis of algorithms, computational complexity theory, complexity of decision problems in logic and algebra, and logics and semantics of...