Research

Focus Areas: Theory

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.

Research

Theory

The mathematical foundations of computation, including algorithm design, complexity and logic
arrow-down-largearrow-left-largearrow-right-large-greyarrow-right-large-yellowarrow-right-largearrow-right-smallbutton-arrowclosedocumentfacebookfacet-arrow-down-whitefacet-arrow-downPage 1CheckedCheckedicon-apple-t5backgroundLayer 1icon-google-t5icon-office365-t5icon-outlook-t5backgroundLayer 1icon-outlookcom-t5backgroundLayer 1icon-yahoo-t5backgroundLayer 1internal-yellowinternalintranetlinkedinlinkoutpauseplaypresentationsearch-bluesearchshareslider-arrow-nextslider-arrow-prevtwittervideoyoutube