Name:Dexter Kozen

Country:United States

Affiliation:Cornell

Research interests:Algorithms and complexity, especially complexity of decision problems in logic and algebra, logics and semantics of programming languages, computer security.