Algorithms for Massive Online Courses (AMOS)

Type: National Project

Duration: from 2015 Jan 01 to 2015 Dec 01

Financed by: FCT

Prime Contractor: INESC-ID (Other)

The objective of the project AMOS is to develop automated techniques for facilitating Massive Open Online Courses (MOOCs). Focus will be given to introductory university courses in Computer Science. The tasks to be facilitated are mainly exercise generation. grading, and automated hints for students. the project is motived by the recent surge of MOOCs all over the world. Their objective is to bring education to those who do not have the time or means to attend traditional bricks-and-mortar courses. While MOOCs have a number of benefits, they also bring about new challenges. How can a lecturer provide good exercises and home works to students? How can students’ progress in the course without an immediate personal feedback? The project AMOS will provide technology and algorithms for addressing these issues while relying on the state-of-the art technology for SAT, QBF and SMT solving.


  • Carnegie Mellon University (University) - Pittsburgh, PA , USA
  • INESC-ID (Other)

Principal Investigators