Gamification refers to the use of elements of games in non-game contexts and has been applied in workplace, marketing, health programs and other areas, with mounting evidence of increased interest, involvement, satisfaction and performance of the participants. More recently gamification has been emerging as a teaching method that has a great potential to improve students’ motivation and engagement. Gamification in education should not be confused with playing educational games, as it only uses concepts such as points, leader boards, etc, rather than computer games themselves. In this talk we describe the gamification of a theoretical computer science course we performed in 2014/2015/2016 as well as our experience with two other STEM courses.