|
Albert Atserias Departament de Llenguatges i Sistemes Informàtics (LSI) Universitat Politècnica de Catalunya (UPC) c/ Jordi Girona Salgado 1-3, Edif. Omega-S122 08034 Barcelona, Spain. My email is my last name at lsi.upc.edu My phone number is +34-93-413-7799 |
Research Interests
My interests are Computational Complexity Theory and Mathematical Logic. In particular, I am interested in Finite Model Theory, Propositional Proof Complexity and Bounded Arithmetic. I am also interested in Boolean Circuit Complexity, Structural Complexity, Computational Learning Theory, Linear Programming, ...Teaching Activities
I have been teaching undergraduate courses on Automata Theory, Computability Theory, Complexity Theory, and Introduction to Programming for students in Computer Engineering and for students in Mathematics at the FIB and the FME.Other Things