522 Van Vleck Hall
University of Wisconsin-Madison

My area of interest is logic (specifically computability theory). My advisor is Joseph S. Miller.

Shift-complex sequences

ASL 2011 presentation on shift-complex sequences

Joseph Miller and I have created an interactive web-based version of his "Computability Menagerie".

You can tell the menagerie to display only the classes that you care about. For example, this is a part of the diagram showing some questions that might be open about bi-immune free degrees. Unknown implications are indicated with dashed arrows. A red arrow represents an implication that doesn't imply any other unresolved implication, while a green arrow represents an implication that isn't implied by any other unresolved implication.