AMOS: Algorithms for Massive Online courSes

EBP 2014 Mikolas Janota  EBP 2014 Edmund Clarke  "The project AMOS represents a great opportunity for the SAT Group (INESC-ID, Lisboa) to apply and further developed the technology that the group has been working on. Namely, SAT solvers, MaxSAT solvers, and QBF solvers. Massive Open Online Courses (MOOCs) represent an excellent testbed for the said technology. Indeed, MOOCs are gaining on importance throughout the world. The project also provides the opportunity of continuing the successful collaboration with the team of professor Edmund Clark (CMU)." Mikolas Janota and Edmund Clarke
Portuguese PI: Mikolas Janota (INESC ID/IST-UL)

CMU PI: Edmund Clarke (CMU)


Research Teams: INESC ID/IST-UL; CMU
Funding Reference: FCT CMUP-EPB/TIC/0049/2013 
Duration: 12 months
Keywords: Massive Open Online Courses; Automated feedback; Boolean Solving; Optimization

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 the student. The project is motivated 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.


The Phase II of the Carnegie Mellon Portugal Program emphasizes advanced education and research that can lead to significant entrepreneurial impact. The Early Bird Projects are designed to assist small teams of researchers from Portuguese institutions, Carnegie Mellon University and industry partners, to jumpstart high-impact potential activities of strategic relevance for the Program. 

Research Opportunities more