Research interests: 

Forcing axioms, proper forcing, and forcing with models as side conditions.