Home
Research
Publications
Teaching
Year 2011-2012
Lógica
Graduado en Ingeniería Informática
Universidad Politécnica de Madrid
Year 2010-2011
Teoría de la computabilidad. Recursión, potencialidad y límites de las máquinas
Ingeniería Informática Plan 96
Universidad Politécnica de Madrid
Lógica
Graduado en Ingeniería Informática
Universidad Politécnica de Madrid
Year 2009-2010
Computational Logic
European Master in Computational Logic
Universidad Politécnica de Madrid
Lógica
Graduado en Ingeniería Informática
Universidad Politécnica de Madrid
Year 2008-2009
Computational Logic
European Master in Computational Logic
Universidad Politécnica de Madrid
Lógica Computacional
Ingeniería Informática Plan 96
Universidad Politécnica de Madrid
Year 2005-2006
Introduction to programming (lab page)
Degree in Applied Mathematics
Università di Verona
Teaching assistant (Lecturer: Dr. Ugo Solitro)
Year 2004-2005
Introduction to programming
Degree in Computer Science
Università di Verona
Teaching assistant (Lecturer: Dr. Ugo Solitro)