Octavio Zapata is interested in graph polynomials definable in fragments of first-order logic and their descriptive complexity. He would like to study the theories for which they act as counting functions, and the categories of definable sets and definable functions of those theories.