I build logics. I have extensive experience building substructural logics, using both semantic and proof-theoretic tools. I also have extensive experience with modal logics, with non-standard approaches to quantification, higher-order quantification, categorial logic, and dynamic logics.