Teaching

I am currently teaching the following courses at UOC:

• Compilers (BSc in Computer Engineering)

In the past I have also taught courses on data structures, automata theory, graph and complexity theory, logic, software engineering, knowledge representation, Android app development and formal proofs.

---

Academic coordination

I coordinate UOC’s task force on the use of AI in education.

In the past, I have coordinated the following areas within the Faculty of Computer Science, Multimedia and Telecommunications of UOC: Computing degrees (Fall 2019-Fall 2023); postgraduate degrees (Fall 2008–Spring 2011); undergraduate thesis (Fall 2008–Spring 2014); the MSc in Computer Engineering (Fall 2010–Spring 2019); the BSc in Computer Engineering (Fall 2019); and the BSc in Techniques for Software Development (Fall 2020-Fall 2023).