Robert Soare

Robert Soare

Paul Snowden Russell Distinguished Service Professor
Departments of Computer Science and Mathematics



Contact Information

University of Chicago
1100 E 58th Street
Chicago, IL 60637
Office: Ry 360C
Phone: (773)702-6029
Fax: (773)702-9787

Personal Homepage


My main research area is mathematical logic, especially the theory of recursive (i.e., computable) functions. I am studying the properties of recursively enumerable (r.e.) sets (those which can be generated by a computable procedure), particularly their algebraic structure, the degree of information they encode (Turing degree), their automorphisms, and their computational complexity properties. I am also working on the computable content of certain algebraic structures such as Boolean algebras and models of certain formal systems. Finally I am studying decision procedures for certain subclasses of the r.e. Turing degrees.