I've returned to mathematical research but am currently unaffiliated. You can see some of my recent papers and talks in the mathematics section of this website but a full presentation will have to wait until I finally finish my major redesign.
I received my Ph.D. from the Group in Logic and Methodology of Science at the University of California at Berkeley under Prof. Leo Harrington. The Group in Logic is a cross-departmental program between the Math and Philosophy departments with some membership from the Computer Science department. The Group in Logic ensures that it's graduates have a background in both the philosophical and mathematical aspects of logic but my advanced training and thesis were the same as if I had been in the mathematics department. My undergraduate degree is a B.S. in mathematics from the wonderfully strange California Institute of Technology.
After leaving graduate school I took a position as a postdoc in mathematics at the University of Notre Dame du Lac mathematics department where I've had the privilege to collaborate with Karen Lange and my supervisor Peter Cholak. You can find some of our research results by visiting the mathematics section of this website.
After this I stepped away from academia for a short period and worked in software development, including working as a software engineer at google.com. However, I found myself longing for the intellectual stimulation of mathematics and continuing at google would have required living on a different continent than my wife for an extended period of time so I decided to give up my job as a software engineer and help my wife with the work at home while going back to doing research in mathematics.