Professor titular del Departament d'Informàtica de la UPC (oct. 2018 - avui)

Professor associat del Departament d'Informàtica de la UPC (abr 2005 – set 2018).

Professor del Departament d'Informàtica de la UPC (març 2002- març 2005).

Càrrecs de recerca visitants ocupats: beca postdoctoral a la Universitat Charles, Praga (jul 2006), participant del programa a Isaac Newton Institute for the Mathematical Sciences, Cambridge (gener-feb 2007, gener-feb 2012), beca visitant a la Universitat de Califòrnia, Berkeley ( gener-juny 2008).

Investigador principal d'una beca ERC Consolidator 2015 – 2020.

• Teoria de la computació
• Combinatòria
• Lògica matemàtica
• Programació matemàtica

• A. Atserias, I. Bonacina, SF de Rezende, M. Lauria, J. Nordström i AA Razborov. Clique Is Hard on Average per a la resolució regular, Journal of the ACM, 68(4), article núm. 23, 2021.
• A. Atserias, A. Dawar i J. Ochremiak. On the Power of Symmetric Linear Programs, Journal of the ACM, 68(4), article núm. 26, 2021.
• A. Atserias i M. Müller. Automating Resolution is NP-Hard, Journal of the ACM, 67(5), article núm. 31, 2020.
• A. Atserias, M. Grohe i D. Marx. Límits de mida i plans de consulta per a unions relacionals, SIAM Journal on Computing, 42(4), pàgines 1737-1767, 2013.
• A. Atserias i E. Maneva. Sherali-Adams Relaxations and Indistinguishability in Counting Logics, SIAM Journal on Computing, 42(1), pàgines 112-137, 2013.
• A. Atserias i V. Dalmau. A Combinatorial Characterization of Resolution Width, Journal of Computer and System Sciences, 74(3), pàgines 323-334, 2008.
• A. Atserias, A. Dawar i Ph. G. Kolaitis. On Preservation under Homomorphisms and Unions of Conjunctive Queries, Journal of the ACM, 53(2), pàgines 208-237, 2006.
• A. Atserias. On Sufficient Conditions for Unsatisfiability of Random Formulas, Journal of the ACM, 51(2), pàgines 281-311, 2004.