services

Duties, committees and other professional activities I am involved in.

Current academic positions

Past academic positions

  • Head of the Web Commission of the DMIF (2019-2022)
  • Member of the Steering Committee of Logical Frameworks and Meta-Languages: Theory and Practice (2010-2015 and 2017-2022)
  • Responsible of the Erasmus Exchange with Goteborg University (2009-2020)
  • Member of the Paritetic Commission of the DMIF (2013–2017)
  • Deputy head of the Board of Computer Science Curricula (2013–2016)
  • Deputy head of the Department of Mathematics and Computer Science (2005–2008)