Logic , Undergraduate course, Enginyeria Tècnica d'Informàtica de Sistemes , Universitat de Barcelona, Fall 2007.

Automata Theory , Undergraduate course, Enginyeria Tècnica d'Informàtica de Sistemes , Universitat de Barcelona, Spring 2008. Office hours: Wednesday 17-18, Thursday 17-18.

Mechanical Theorem Proving , Master en Lògica Pura i Aplicada , Spring 2008. Office hours: Wednesday 17-18, Thursday 17-18.