Octavio Zapata

University College London

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.

Program Visits

Logical Structures in Computation, Fall 2016, Visiting Graduate Student