University of California San DiegoInvGameSolve Software Verification Problems through Games Anywhere Ongoing Citizen Sciencepuzzles, verification, mathematics, computer science, games