Has publications and other research-related activities including giving talks.
Research Experience
Taught courses on algorithms, data structures, computational complexity theory, computability theory, automata theory, logic programming, discrete mathematics, and introductory programming; member of the ALBCOM Research Group and Centre de Recerca Matemàtica; principal investigator of the ERC-CoG project AUTAR: A Unified Theory of Algorithmic Relaxations from 2015-2020.
Background
Research interests include the theory of computation, applications of mathematical logic to computer science, and the use of probabilistic methods in computer science and combinatorics.
Miscellany
Contact information: Email (last name at cs.upc.edu), Phone (+34-93-413-7799), Twitter (@atserias)