INFOCOS - Intelligent Feedback for Content Students


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.


Currently there is a PostDoc position opening. Candidates with SW analysis and/or formal background are welcome. Email directly to mikolas DOT janota AT gmail DOT com

Valid XHTML 1.0 Strict VI Improved Last updated: Nov 18, 2018 13:01:49 PM