Prof. Dexter Kozen, CS, was one of five Cornell faculty members named fellows of the American Association for the Advancement of Science, the world's largest general scientific society and publisher of the journal Science. The researchers will be recognized Feb. 12 at the annual AAAS meeting, held this year in Chicago. Kozen, the Joseph Newton Pew Jr. Professor in Engineering, is cited for outstanding contributions to the foundations of computer science, including the theory of computability, computational complexity, algorithms and program logic and verification