Teaching

I am currently teaching the following courses at UOC:

• Compilers (BSc in Computer Engineering)
• Android app development (MSc in Mobile App Development)
• Formal proofs (PhD in Network and Information Technologies)

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

---

Academic coordination

I am the programme director of the Bachelor’s degree in Techniques for Software Development at UOC. Moreover, I am also the academic coordinator of all the Computing degrees in the Faculty of Computer Science, Multimedia and Telecommunications of UOC.

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