The names on the leader board are the names that people have typed into the player slot in their game, and have no direct correlation to user names on the forums. Sometimes, forum members will use their forum name on their game, but I wouldn't count on it. For example, I most often use variations of my dog's name when creating new players!