Universitat Politècnica de Catalunya
My interests include computational complexity, algorithms, combinatorics, and applications of mathematical logic to the theory of computation.
See my publications and other research-related activities, including the slides of some of my talks.
My research group
I am a member of the ALBCOM Research Group. I am also the principal investigator of the ERC-CoG project AUTAR: A Unified Theory of Algorithmic Relaxations, funded for the period 2015-2019 by the research funding agency of the European Commission (ERC).
Algorithms and data structures, automata theory, computability theory, computational complexity, and introduction to programming for students in Computer Engineering at FIB and Mathematics at FME.