Modelos formales, agentes inteligentes y aplicaciones para la enseñanza de las ciencias de la computación.

El objetivo general de este proyecto de investigación es desarrollar construcciones teóricas, modelos y agentes inteligentes que fortalezcan los procesos de enseñanza de las ciencias de la computación en diferentes niveles educativos