Cursos dictados

• Segundo semestre 2005:
  • Lógica para Ciencia de la Computación - IIC2212



• Primer semestre 2006:
  • Introducción a la Programación - IIC1102
  • Tópicos Avanzados en Bases de Datos (Fundamentos de XML) - IIC3432



• Segundo semestre 2006:
  • Teoría de Modelos Finitos - IIC3260



• Primer semestre 2007:
  • Introducción a la Programación - IIC1102
  • Tópicos Avanzados en Bases de Datos (Integración de Datos) - IIC3432
  • Tópicos en Ciencia de la Computación (Verificación Formal de Software) - IIC3800



• Primer semestre 2008:
  • Introducción a la Programación - IIC1102
  • Lógica para Ciencia de la Computación - IIC2212



• Segundo semestre 2008:
  • Teoría de Modelos Finitos - IIC3260



• Primer semestre 2009:
  • Introducción a la Programación - IIC1103
  • Complejidad Computacional - IIC3242



• Primer semestre 2010:
  • Lógica para Ciencia de la Computación - IIC2213