• Lógica
  • Ingeniería de software
  • Análisis de algoritmos
  • Teoría de la computación
  • Lenguajes de programación
  • Sistemas inteligentes
  • Composición asistida por computador