Dr. Robert Byerly

Research Interests

Computability Theory, Logic, and Topology

Biography

Robert Byerly received his SB in mathematics from the Massachusetts Institute of Technology, and M.A. and PhD in mathematics from the State University of New York at Buffalo. He held a visiting position at the Ohio State University before coming to Texas Tech in 1980. Dr. Byerly specialized in mathematical logic and recursion theory, and current interests include structural complexity theory, models of arithmetic, and set-theoretical topology. He works actively in computer-assisted mathematics education.