Clases particulares (en español o inglés) de lógica matemática, lógica computacional, lógica informática, lógica para las ciencias humanas (filosofía y lingüística), teoría de la computación, teoría de autómatas y lenguajes formales, matemáticas para la computación, matemática discreta, métodos numéricos y programación lógica (Prolog). Investigador y profesor cualificado.