I’m a professor at the Universitat Politècnica de Catalunya (UPC). I did my PhD at the University of California, Santa Cruz (UCSC) culminating in a thesis on finite model theory and descriptive complexity theory, and another one at UPC with a disjoint thesis on propositional proof complexity. Since then I’ve been working in these areas, seeking the unification of their methods, but also trying to push their borders to meet other areas of logic and complexity theory. I’m interested more broadly in computational complexity theory, combinatorics, probabilistic methods in discrete mathematics, and the applications of mathematical logic to the theory of computing.

Link to my personal webpage: https://www.cs.upc.edu/~atserias/