In this project we explore whether non-experts can contribute to the important problem of Software Verification through playing mathematical puzzle games! Participants need to sign in using Facebook, go through a short tutorial (only on first visit), and then play as many levels as they wish. After several levels they are asked a very short survey. The game does not post or use any information from Facebook, and the survey does not collect any personally identifiable information. We are only interested in how much you like the game, how hard you find it, and your rough level of mathematical and computer science education!
Become a SciStarter Ambassador!
SciStarter Ambassador badge logo

Applications for Cohort 3 are still open!

Libraries and community organizations need your help to spark excitement for citizen science and keep the momentum going!

The SciStarter Ambassador Program offers FREE training to volunteers ready to make an impact in their communities.

Ready to make a difference? Complete your application by January 25th to join the movement!