The project INFOCOS will further and develop methods for automated tools in education of computer science courses. The objective is to improve the quality and access to education for long-distance students or students with obligations to work or family. The developed technology will also provide opportunities for Portuguese universities to capitalize on the expertise of the faculty by providing services outside of its walls.
The project is anchored in Formal Methods (FM) with the rationale that FM will scale better on small-sized problems, developed by students, than on real-world problems. This enables a richer application of FM. The project is open to explore any existing techniques as well as developing new ones.