Hello,

As a logician computability theorist I am interested in measuring the complexity in mathematics and track exactly what is responsible for this complexity. I am particularly interested in computable structure theory which applies this perspective to countable mathematical structures, objects like linear orderings, Boolean algebras and groups. Much of my work so far has been focused on aspects of Vaught’s conjecture.

I am currently a graduate student in the University of California, Berkeley department of mathematics. My advisor is Antonio Montalban.