Robert Soare
- Paul Snowden Russell Distinguished Service Professor
- Departments of Computer Science and Mathematics
Interests
Theory
Contact Information
University of Chicago
1100 E 58th Street
Chicago, IL 60637
Office: Ry 360C
Phone: (773)702-6029
Fax: (773)702-9787
soare@cs.uchicago.edu
Personal Homepage
http://people.cs.uchicago.edu/~soare
Research
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.
