Timo Nummenmaa

profile image
Timo Nummenmaa

Timo Nummenmaa has been at the Game Research Lab since 2007 and received his PhD in computer science from the University of Tampere in 2013. His PhD thesis focused on utilizing executable formal specifications in game design and development. Additionally, his research also revolves around hybrid experiences, pervasive games, playfulness, game evolution and gamification.

Keywords: formal methods, game design, game development, playfulness, gamification, hybrid experiences, pervasive games, game evolution