I study the interactions between inner model theory and models of determinacy. I am particularly interested in understanding sets of reals in models of determinacy via understanding iteration strategies on countable mice that exist in the model.
Currently Steve Jackson (UNT) and I are working to find new proofs of some of
Jackson's results concerning the cardinal structure of L(R) using
directed systems of mice like those employed first by Steel and then Woodin in the
calculation of HODL(R).