We work in applied category theory and graph theory, studying how complex systems are organized through the relationships among their parts. Current directions include compositional and categorical methods for knowledge representation, and graph-theoretic analysis of dependency structure in domains ranging from formalized mathematics to software systems.

The throughline is structure: how relationships, composition, and dependency shape the systems we build and reason about.