La investigació en aquest àmbit se centra en el desenvolupament de tècniques per generar i corregir automàticament problemes. Hem creat correctors per a matemàtiques, programació, disseny de bases de dades, diagrames i exercicis gràfics. Tots ells integrats a la plataforma ACME, utilitzada per més de 6.000 usuaris en més de 60 temes. A més a més, hem treballat en tècniques de creació de continguts per a temes en què la representació visual és essencial, ja siguin representacions 2D, 3D o de vídeo.