Well, programming and coding education is already gamified (codeschool, treehouse) so if gamification works for that target audience it will work at the education stage, too.