Member of the ALBCOM Research Group of the Department of Computer Science, Technical University of Catalonia, in Barcelona. (These are the English translations of Departament de Ciències de la Computació and Universitat Politècnica de Catalunya.)

My main areas of interest are:

  • Algebraic methods for software specification and design
  • Graph transformation
  • Foundations of Model Driven Development
  • Logic programming
  • Automated deduction

You can find a short CV here.